package info (click to toggle)
coq-doc 8.16.1-1
  • links: PTS, VCS
  • area: non-free
  • in suites: bookworm
  • size: 42,788 kB
  • sloc: ml: 219,673; sh: 4,035; python: 3,372; ansic: 2,529; makefile: 728; lisp: 279; javascript: 87; xml: 24; sed: 2

Folder: coqide

d .. (parent)
d d rwxr-xr-x 55 MacOS
d d rwxr-xr-x 4,096 protocol
- - rw-r--r-- 2,514 FAQ
- - rw-r--r-- 75 Make
- - rw-r--r-- 797 config_lexer.mli
- - rw-r--r-- 2,177 config_lexer.mll
- - rw-r--r-- 2,828 configwin.ml
- - rw-r--r-- 8,245 configwin.mli
- - rw-r--r-- 26,930 configwin_ihm.ml
- - rw-r--r-- 3,783 configwin_ihm.mli
- - rw-r--r-- 2,575 configwin_messages.ml
- - rw-r--r-- 6,512 configwin_types.ml
- - rw-r--r-- 9,766 coq-ssreflect.lang
- - rw-r--r-- 151,467 coq.ico
- - rw-r--r-- 9,954 coq.lang
- - rw-r--r-- 25,933 coq.ml
- - rw-r--r-- 9,271 coq.mli
- - rw-r--r-- 12,907 coq.png
- - rw-r--r-- 4,710 coq2.ico
- - rw-r--r-- 38,772 coqOps.ml
- - rw-r--r-- 2,760 coqOps.mli
- - rw-r--r-- 4,877 coq_commands.ml
- - rw-r--r-- 743 coq_commands.mli
- - rw-r--r-- 35 coq_icon.rc
- - rw-r--r-- 769 coq_lex.mli
- - rw-r--r-- 4,712 coq_lex.mll
- - rw-r--r-- 1,441 coq_style.xml
- - rw-r--r-- 69,146 coqide.ml
- - rw-r--r-- 1,739 coqide.mli
- - rw-r--r-- 36 coqide_QUARTZ.c.in
- - rw-r--r-- 1,579 coqide_QUARTZ.ml.in
- - rw-r--r-- 772 coqide_WIN32.c.in
- - rw-r--r-- 2,210 coqide_WIN32.ml.in
- - rw-r--r-- 38 coqide_X11.c.in
- - rw-r--r-- 693 coqide_X11.ml.in
- - rw-r--r-- 2,795 coqide_main.ml
- - rw-r--r-- 808 coqide_main.mli
- - rw-r--r-- 700 coqide_os_specific.mli
- - rw-r--r-- 6,338 coqide_ui.ml
- - rw-r--r-- 730 coqide_ui.mli
- - rw-r--r-- 139,281 default_bindings_src.ml
- - rw-r--r-- 6,225 document.ml
- - rw-r--r-- 4,713 document.mli
- - rw-r--r-- 2,496 dune
- - rw-r--r-- 5,034 fileOps.ml
- - rw-r--r-- 1,115 fileOps.mli
- - rw-r--r-- 179 gen_gtk_platform.ml
- - rw-r--r-- 2,582 gtk_parsing.ml
- - rw-r--r-- 1,286 gtk_parsing.mli
- - rw-r--r-- 25,033 idetop.ml
- - rw-r--r-- 21,334 ideutils.ml
- - rw-r--r-- 4,653 ideutils.mli
- - rw-r--r-- 90 index.mld
- - rw-r--r-- 1,530 macos_prehook.ml
- - rw-r--r-- 808 macos_prehook.mli
- - rw-r--r-- 13,707 microPG.ml
- - rw-r--r-- 835 microPG.mli
- - rw-r--r-- 2,161 minilib.ml
- - rw-r--r-- 1,826 minilib.mli
- - rw-r--r-- 37,152 preferences.ml
- - rw-r--r-- 4,249 preferences.mli
- - rw-r--r-- 5,440 sentence.ml
- - rw-r--r-- 1,008 sentence.mli
- - rw-r--r-- 24,806 session.ml
- - rw-r--r-- 2,254 session.mli
- - rw-r--r-- 908 shared.ml
- - rw-r--r-- 874 shared.mli
- - rw-r--r-- 37 shared_QUARTZ.c.in
- - rw-r--r-- 704 shared_QUARTZ.ml.in
- - rw-r--r-- 440 shared_WIN32.c.in
- - rw-r--r-- 806 shared_WIN32.ml.in
- - rw-r--r-- 39 shared_X11.c.in
- - rw-r--r-- 704 shared_X11.ml.in
- - rw-r--r-- 700 shared_os_specific.mli
- - rw-r--r-- 2,508 tags.ml
- - rw-r--r-- 1,437 tags.mli
- - rw-r--r-- 4,949 unicode_bindings.ml
- - rw-r--r-- 2,152 unicode_bindings.mli
- - rw-r--r-- 701 utf8_convert.mli
- - rw-r--r-- 1,457 utf8_convert.mll
- - rw-r--r-- 7,178 wg_Command.ml
- - rw-r--r-- 1,006 wg_Command.mli
- - rw-r--r-- 5,730 wg_Completion.ml
- - rw-r--r-- 888 wg_Completion.mli
- - rw-r--r-- 14,387 wg_Debugger.ml
- - rw-r--r-- 1,430 wg_Debugger.mli
- - rw-r--r-- 3,477 wg_Detachable.ml
- - rw-r--r-- 1,633 wg_Detachable.mli
- - rw-r--r-- 9,369 wg_Find.ml
- - rw-r--r-- 975 wg_Find.mli
- - rw-r--r-- 10,342 wg_MessageView.ml
- - rw-r--r-- 1,719 wg_MessageView.mli
- - rw-r--r-- 2,901 wg_Notebook.ml
- - rw-r--r-- 1,531 wg_Notebook.mli
- - rw-r--r-- 10,512 wg_ProofView.ml
- - rw-r--r-- 1,225 wg_ProofView.mli
- - rw-r--r-- 1,746 wg_RoutedMessageViews.ml
- - rw-r--r-- 1,082 wg_RoutedMessageViews.mli
- - rw-r--r-- 21,348 wg_ScriptView.ml
- - rw-r--r-- 2,248 wg_ScriptView.mli
- - rw-r--r-- 4,397 wg_Segment.ml
- - rw-r--r-- 1,335 wg_Segment.mli