package info (click to toggle)
coq-doc 8.2pl1-1
  • links: PTS, VCS
  • area: non-free
  • in suites: squeeze
  • size: 19,240 kB
  • ctags: 22,737
  • sloc: ml: 132,933; ansic: 1,960; sh: 1,366; lisp: 456; makefile: 327

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,818 blaster_window.ml
- - rw-r--r-- 4,752 command_windows.ml
- - rw-r--r-- 822 command_windows.mli
- - rw-r--r-- 1,998 config_lexer.mll
- - rw-r--r-- 1,020 config_parser.mly
- - rw-r--r-- 11,326 coq.ico
- - rw-r--r-- 22,281 coq.ml
- - rw-r--r-- 3,069 coq.mli
- - rw-r--r-- 6,269 coq.png
- - rwxr-xr-x 4,710 coq2.ico
- - rw-r--r-- 7,667 coq_commands.ml
- - rw-r--r-- 2,514 coq_tactics.ml
- - rw-r--r-- 620 coq_tactics.mli
- - rw-r--r-- 123,390 coqide.ml
- - rw-r--r-- 901 coqide.mli
- - rw-r--r-- 1,131 extract_index.mll
- - rw-r--r-- 2,146 find_phrase.mll
- - rw-r--r-- 6,519 highlight.mll
- - rw-r--r-- 11,431 ideutils.ml
- - rw-r--r-- 2,934 ideutils.mli
- - rw-r--r-- 19,062 preferences.ml
- - rw-r--r-- 2,432 preferences.mli
- - rw-r--r-- 5,460 undo.ml
- - rw-r--r-- 1,136 undo_lablgtk_ge212.mli
- - rw-r--r-- 1,111 undo_lablgtk_ge26.mli
- - rw-r--r-- 1,107 undo_lablgtk_lt26.mli
- - rw-r--r-- 1,377 utf8_convert.mll