package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 30,604 kB
  • sloc: ml: 192,230; sh: 2,585; python: 2,206; ansic: 1,878; makefile: 818; lisp: 202; xml: 24; sed: 2

Folder: ide

d .. (parent)
d d rwxr-xr-x 113 MacOS
d d rwxr-xr-x 4,096 protocol
- - rw-r--r-- 83 .merlin.in
- - 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,806 configwin.ml
- - rw-r--r-- 8,113 configwin.mli
- - rw-r--r-- 25,127 configwin_ihm.ml
- - rw-r--r-- 3,490 configwin_ihm.mli
- - rw-r--r-- 2,575 configwin_messages.ml
- - rw-r--r-- 6,486 configwin_types.ml
- - rw-r--r-- 9,695 coq-ssreflect.lang
- - rw-r--r-- 11,326 coq.ico
- - rw-r--r-- 9,946 coq.lang
- - rw-r--r-- 20,998 coq.ml
- - rw-r--r-- 7,101 coq.mli
- - rw-r--r-- 12,907 coq.png
- - rwxr-xr-x 4,710 coq2.ico
- - rw-r--r-- 33,535 coqOps.ml
- - rw-r--r-- 1,698 coqOps.mli
- - rw-r--r-- 7,825 coq_commands.ml
- - rw-r--r-- 774 coq_commands.mli
- - rw-r--r-- 28 coq_icon.rc
- - rw-r--r-- 769 coq_lex.mli
- - rw-r--r-- 3,579 coq_lex.mll
- - rw-r--r-- 1,441 coq_style.xml
- - rw-r--r-- 49,153 coqide.ml
- - rw-r--r-- 1,836 coqide.mli
- - rw-r--r-- 5,075 coqide_main.ml4
- - rw-r--r-- 808 coqide_main.mli
- - rw-r--r-- 6,315 coqide_ui.ml
- - rw-r--r-- 730 coqide_ui.mli
- - rw-r--r-- 6,240 document.ml
- - rw-r--r-- 4,719 document.mli
- - rw-r--r-- 4,911 fileOps.ml
- - rw-r--r-- 1,055 fileOps.mli
- - rw-r--r-- 2,576 gtk_parsing.ml
- - rw-r--r-- 1,286 gtk_parsing.mli
- - rw-r--r-- 373 ide.mllib
- - rw-r--r-- 71 ide_common.mllib
- - rw-r--r-- 1,791 ide_win32_stubs.c
- - rw-r--r-- 19,030 idetop.ml
- - rw-r--r-- 17,294 ideutils.ml
- - rw-r--r-- 3,830 ideutils.mli
- - rw-r--r-- 1,530 macos_prehook.ml
- - rw-r--r-- 808 macos_prehook.mli
- - rw-r--r-- 2,239 minilib.ml
- - rw-r--r-- 1,272 minilib.mli
- - rw-r--r-- 13,082 nanoPG.ml
- - rw-r--r-- 835 nanoPG.mli
- - rw-r--r-- 33,913 preferences.ml
- - rw-r--r-- 4,094 preferences.mli
- - rw-r--r-- 5,442 sentence.ml
- - rw-r--r-- 1,008 sentence.mli
- - rw-r--r-- 20,900 session.ml
- - rw-r--r-- 1,763 session.mli
- - rw-r--r-- 2,622 tags.ml
- - rw-r--r-- 1,457 tags.mli
- - rw-r--r-- 701 utf8_convert.mli
- - rw-r--r-- 1,457 utf8_convert.mll
- - rw-r--r-- 7,032 wg_Command.ml
- - rw-r--r-- 995 wg_Command.mli
- - rw-r--r-- 15,997 wg_Completion.ml
- - rw-r--r-- 1,483 wg_Completion.mli
- - rw-r--r-- 3,050 wg_Detachable.ml
- - rw-r--r-- 1,560 wg_Detachable.mli
- - rw-r--r-- 10,417 wg_Find.ml
- - rw-r--r-- 975 wg_Find.mli
- - rw-r--r-- 4,796 wg_MessageView.ml
- - rw-r--r-- 1,324 wg_MessageView.mli
- - rw-r--r-- 2,798 wg_Notebook.ml
- - rw-r--r-- 1,524 wg_Notebook.mli
- - rw-r--r-- 10,126 wg_ProofView.ml
- - rw-r--r-- 993 wg_ProofView.mli
- - rw-r--r-- 1,746 wg_RoutedMessageViews.ml
- - rw-r--r-- 1,082 wg_RoutedMessageViews.mli
- - rw-r--r-- 17,186 wg_ScriptView.ml
- - rw-r--r-- 2,113 wg_ScriptView.mli
- - rw-r--r-- 4,954 wg_Segment.ml
- - rw-r--r-- 1,335 wg_Segment.mli