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
 |
.. (parent) | |||
|
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 |
