package info (click to toggle)
coq 8.20.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 44,116 kB
  • sloc: ml: 234,160; sh: 4,301; python: 3,270; ansic: 2,644; makefile: 882; lisp: 172; javascript: 63; 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-- 721 config.mli
- - 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,237 configwin_messages.ml
- - rw-r--r-- 153 configwin_messages.mli
- - rw-r--r-- 6,512 configwin_types.mli
- - rw-r--r-- 9,766 coq-ssreflect.lang
- - rw-r--r-- 151,467 coq.ico
- - rw-r--r-- 10,159 coq.lang
- - rw-r--r-- 26,166 coq.ml
- - rw-r--r-- 9,143 coq.mli
- - rw-r--r-- 12,907 coq.png
- - rw-r--r-- 4,710 coq2.ico
- - rw-r--r-- 41,896 coqOps.ml
- - rw-r--r-- 2,760 coqOps.mli
- - rw-r--r-- 4,978 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,818 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,140 coqide_WIN32.ml.in
- - rw-r--r-- 38 coqide_X11.c.in
- - rw-r--r-- 693 coqide_X11.ml.in
- - rw-r--r-- 2,796 coqide_main.ml
- - rw-r--r-- 808 coqide_main.mli
- - rw-r--r-- 700 coqide_os_specific.mli
- - rw-r--r-- 6,631 coqide_ui.ml
- - rw-r--r-- 730 coqide_ui.mli
- - 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,490 dune
- - rw-r--r-- 5,034 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,265 idetop.ml
- - rw-r--r-- 0 idetop.mli
- - rw-r--r-- 21,946 ideutils.ml
- - rw-r--r-- 4,723 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-- 38,622 preferences.ml
- - rw-r--r-- 4,292 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,566 wg_Debugger.ml
- - rw-r--r-- 1,467 wg_Debugger.mli
- - rw-r--r-- 3,477 wg_Detachable.ml
- - rw-r--r-- 1,633 wg_Detachable.mli
- - rw-r--r-- 9,424 wg_Find.ml
- - rw-r--r-- 975 wg_Find.mli
- - rw-r--r-- 10,598 wg_MessageView.ml
- - rw-r--r-- 1,756 wg_MessageView.mli
- - rw-r--r-- 2,901 wg_Notebook.ml
- - rw-r--r-- 1,531 wg_Notebook.mli
- - rw-r--r-- 10,684 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,476 wg_ScriptView.ml
- - rw-r--r-- 2,283 wg_ScriptView.mli
- - rw-r--r-- 4,397 wg_Segment.ml
- - rw-r--r-- 1,335 wg_Segment.mli