package info (click to toggle)
coq 8.0pl2-2
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 14,228 kB
  • ctags: 17,685
  • sloc: ml: 97,070; makefile: 1,255; sh: 738; lisp: 456; awk: 15

Folder: ide

d .. (parent)
d d rwxr-xr-x 4,096 utils
- - rw-r--r-- 1,127 .coqide-gtk2rc
- - rw-r--r-- 3,157 FAQ
- - rw-r--r-- 5,833 blaster_window.ml
- - rw-r--r-- 4,756 command_windows.ml
- - rw-r--r-- 833 command_windows.mli
- - rw-r--r-- 2,006 config_lexer.mll
- - rw-r--r-- 1,028 config_parser.mly
- - rw-r--r-- 13,889 coq.ml
- - rw-r--r-- 2,094 coq.mli
- - rw-r--r-- 9,103 coq.png
- - rw-r--r-- 7,323 coq_commands.ml
- - rw-r--r-- 2,522 coq_tactics.ml
- - rw-r--r-- 628 coq_tactics.mli
- - rw-r--r-- 103,223 coqide.ml
- - rw-r--r-- 909 coqide.mli
- - rw-r--r-- 1,139 extract_index.mll
- - rw-r--r-- 2,058 find_phrase.mll
- - rw-r--r-- 3,687 highlight.mll
- - rw-r--r-- 8,934 ideutils.ml
- - rw-r--r-- 2,666 ideutils.mli
- - rw-r--r-- 21,782 index_urls.txt
- - rw-r--r-- 16,876 preferences.ml
- - rw-r--r-- 2,232 preferences.mli
- - rw-r--r-- 5,488 undo.ml
- - rw-r--r-- 1,102 undo.mli
- - rw-r--r-- 2,445 utf8.v
- - rw-r--r-- 1,385 utf8_convert.mll