package info (click to toggle)
coq 8.4pl4dfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 19,744 kB
  • ctags: 23,914
  • sloc: ml: 140,953; ansic: 1,982; lisp: 1,406; sh: 1,358; makefile: 620; sed: 2

Folder: tools

d .. (parent)
d d rwxr-xr-x 4,096 coqdoc
- - rwxr-xr-x 380 README.coq-tex
- - rwxr-xr-x 829 README.emacs
- - rwxr-xr-x 2,034 beautify-archive
- - rwxr-xr-x 975 check-translate
- - rw-r--r-- 685 compat5.ml
- - rw-r--r-- 965 compat5.mlp
- - rw-r--r-- 686 compat5b.ml
- - rw-r--r-- 977 compat5b.mlp
- - rw-r--r-- 8,673 coq-db.el
- - rw-r--r-- 4,902 coq-font-lock.el
- - rw-r--r-- 11,606 coq-inferior.el
- - rwxr-xr-x 740 coq-sl.sty
- - rw-r--r-- 44,698 coq-syntax.el
- - rw-r--r-- 4,804 coq.el
- - rw-r--r-- 30,452 coq_makefile.ml
- - rw-r--r-- 9,872 coq_tex.ml
- - rw-r--r-- 7,245 coqdep.ml
- - rw-r--r-- 1,896 coqdep_boot.ml
- - rw-r--r-- 17,061 coqdep_common.ml
- - rw-r--r-- 2,206 coqdep_common.mli
- - rw-r--r-- 1,017 coqdep_lexer.mli
- - rw-r--r-- 9,750 coqdep_lexer.mll
- - rw-r--r-- 9,193 coqwc.mll
- - rw-r--r-- 43 escape_string.ml
- - rw-r--r-- 3,330 fake_ide.ml
- - rw-r--r-- 1,861 gallina.ml
- - rw-r--r-- 4,863 gallina_lexer.mll
- - rw-r--r-- 347 mingwpath.ml
- - rw-r--r-- 3,016 mkwinapp.ml
- - rw-r--r-- 18 win32hack.mllib
- - rw-r--r-- 137 win32hack_filename.ml