package info (click to toggle)
coq 9.1.0%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 35,964 kB
  • sloc: ml: 239,908; sh: 4,355; python: 2,985; ansic: 2,644; makefile: 874; lisp: 171; javascript: 63; xml: 24; sed: 2

Folder: rocqide

d .. (parent)
d d rwxr-xr-x 43 MacOS
d d rwxr-xr-x 4,096 protocol
- - rw-r--r-- 2,621 FAQ
- - rw-r--r-- 75 Make
- - rw-r--r-- 721 config.mli
- - rw-r--r-- 797 config_lexer.mli
- - rw-r--r-- 2,275 config_lexer.mll
- - rw-r--r-- 10,882 coq-ssreflect.lang
- - rw-r--r-- 37,444 coq.ico
- - rw-r--r-- 10,159 coq.lang
- - rw-r--r-- 5,433 coq.png
- - rw-r--r-- 4,710 coq2.ico
- - rw-r--r-- 36 coq_icon.rc
- - rw-r--r-- 1,421 coq_style.xml
- - rw-r--r-- 139,281 default_bindings_src.ml
- - rw-r--r-- 522 default_bindings_src.mli
- - rw-r--r-- 6,384 document.ml
- - rw-r--r-- 4,926 document.mli
- - rw-r--r-- 2,299 dune
- - rw-r--r-- 5,242 fileOps.ml
- - rw-r--r-- 1,115 fileOps.mli
- - rw-r--r-- 675 gen_gtk_platform.ml
- - rw-r--r-- 0 gen_gtk_platform.mli
- - rw-r--r-- 2,582 gtk_parsing.ml
- - rw-r--r-- 1,286 gtk_parsing.mli
- - rw-r--r-- 25,750 idetop.ml
- - rw-r--r-- 0 idetop.mli
- - rw-r--r-- 21,961 ideutils.ml
- - rw-r--r-- 4,727 ideutils.mli
- - rw-r--r-- 93 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,174 minilib.ml
- - rw-r--r-- 1,831 minilib.mli
- - rw-r--r-- 23,636 preferences.ml
- - rw-r--r-- 4,682 preferences.mli
- - rw-r--r-- 26,084 preferences_ui.ml
- - rw-r--r-- 741 preferences_ui.mli
- - rw-r--r-- 26,329 rocqDriver.ml
- - rw-r--r-- 9,218 rocqDriver.mli
- - rw-r--r-- 42,936 rocqOps.ml
- - rw-r--r-- 2,814 rocqOps.mli
- - rw-r--r-- 4,978 rocq_commands.ml
- - rw-r--r-- 743 rocq_commands.mli
- - rw-r--r-- 769 rocq_lex.mli
- - rw-r--r-- 4,753 rocq_lex.mll
- - rw-r--r-- 70,493 rocqide.ml
- - rw-r--r-- 1,748 rocqide.mli
- - rw-r--r-- 36 rocqide_QUARTZ.c.in
- - rw-r--r-- 1,588 rocqide_QUARTZ.ml.in
- - rw-r--r-- 774 rocqide_WIN32.c.in
- - rw-r--r-- 2,151 rocqide_WIN32.ml.in
- - rw-r--r-- 38 rocqide_X11.c.in
- - rw-r--r-- 693 rocqide_X11.ml.in
- - rw-r--r-- 2,822 rocqide_main.ml
- - rw-r--r-- 808 rocqide_main.mli
- - rw-r--r-- 700 rocqide_os_specific.mli
- - rw-r--r-- 6,634 rocqide_ui.ml
- - rw-r--r-- 730 rocqide_ui.mli
- - rw-r--r-- 5,447 sentence.ml
- - rw-r--r-- 1,008 sentence.mli
- - rw-r--r-- 26,303 session.ml
- - rw-r--r-- 2,290 session.mli
- - rw-r--r-- 909 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,490 tags.ml
- - rw-r--r-- 1,437 tags.mli
- - rw-r--r-- 2,168 ui_dialogs.ml
- - rw-r--r-- 1,036 ui_dialogs.mli
- - rw-r--r-- 4,950 unicode_bindings.ml
- - rw-r--r-- 2,152 unicode_bindings.mli
- - rw-r--r-- 701 utf8_convert.mli
- - rw-r--r-- 1,541 utf8_convert.mll
- - rw-r--r-- 7,209 wg_Command.ml
- - rw-r--r-- 1,016 wg_Command.mli
- - rw-r--r-- 5,783 wg_Completion.ml
- - rw-r--r-- 896 wg_Completion.mli
- - rw-r--r-- 14,566 wg_Debugger.ml
- - rw-r--r-- 1,467 wg_Debugger.mli
- - rw-r--r-- 3,476 wg_Detachable.ml
- - rw-r--r-- 1,631 wg_Detachable.mli
- - rw-r--r-- 9,652 wg_Find.ml
- - rw-r--r-- 975 wg_Find.mli
- - rw-r--r-- 10,569 wg_MessageView.ml
- - rw-r--r-- 1,756 wg_MessageView.mli
- - rw-r--r-- 3,108 wg_Notebook.ml
- - rw-r--r-- 1,524 wg_Notebook.mli
- - rw-r--r-- 10,691 wg_ProofView.ml
- - rw-r--r-- 1,262 wg_ProofView.mli
- - rw-r--r-- 1,861 wg_RoutedMessageViews.ml
- - rw-r--r-- 1,117 wg_RoutedMessageViews.mli
- - rw-r--r-- 21,484 wg_ScriptView.ml
- - rw-r--r-- 2,299 wg_ScriptView.mli
- - rw-r--r-- 4,397 wg_Segment.ml
- - rw-r--r-- 1,335 wg_Segment.mli