package info (click to toggle)
coq 8.6-4
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 26,884 kB
  • sloc: ml: 183,693; ansic: 1,858; lisp: 1,425; sh: 1,138; makefile: 713; xml: 24; sed: 2

Folder: tools

d .. (parent)
d d rwxr-xr-x 4,096 coqdoc
- - rw-r--r-- 833 README.emacs
- - rwxr-xr-x 2,094 beautify-archive
- - rwxr-xr-x 975 check-translate
- - rw-r--r-- 4,900 coq-font-lock.el
- - rw-r--r-- 11,618 coq-inferior.el
- - rw-r--r-- 740 coq-sl.sty
- - rw-r--r-- 40,162 coq_makefile.ml
- - rw-r--r-- 10,005 coq_tex.ml
- - rw-r--r-- 5,507 coqc.ml
- - rw-r--r-- 18,388 coqdep.ml
- - rw-r--r-- 2,090 coqdep_boot.ml
- - rw-r--r-- 20,404 coqdep_common.ml
- - rw-r--r-- 3,238 coqdep_common.mli
- - rw-r--r-- 1,005 coqdep_lexer.mli
- - rw-r--r-- 9,735 coqdep_lexer.mll
- - rw-r--r-- 10,544 coqmktop.ml
- - rw-r--r-- 9,047 coqwc.mll
- - rw-r--r-- 6,979 coqworkmgr.ml
- - rw-r--r-- 12,015 fake_ide.ml
- - rw-r--r-- 8,684 gallina-db.el
- - rw-r--r-- 45,137 gallina-syntax.el
- - rw-r--r-- 4,830 gallina.el
- - rw-r--r-- 1,816 gallina.ml
- - rw-r--r-- 4,850 gallina_lexer.mll
- - rw-r--r-- 3,016 mkwinapp.ml
- - rw-r--r-- 7,466 ocamllibdep.mll
- - rwxr-xr-x 2,220 update-require