aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
ModeNameSize
-rw-r--r--CoqMakefile.in26862logplain
-rw-r--r--README.emacs833logplain
-rw-r--r--TimeFileMaker.py10700logplain
-rwxr-xr-xbeautify-archive2083logplain
-rwxr-xr-xcheck-translate975logplain
-rw-r--r--coq-font-lock.el4900logplain
-rw-r--r--coq-sl.sty740logplain
-rw-r--r--coq_makefile.ml17275logplain
-rw-r--r--coq_tex.ml10155logplain
-rw-r--r--coqc.ml5705logplain
-rw-r--r--coqdep.ml20035logplain
-rw-r--r--coqdep_boot.ml2497logplain
-rw-r--r--coqdep_common.ml21201logplain
-rw-r--r--coqdep_common.mli3394logplain
-rw-r--r--coqdep_lexer.mli1155logplain
-rw-r--r--coqdep_lexer.mll9830logplain
d---------coqdoc603logplain
-rw-r--r--coqwc.mll9289logplain
-rw-r--r--coqworkmgr.ml7235logplain
-rw-r--r--fake_ide.ml11739logplain
-rw-r--r--gallina-db.el8683logplain
-rw-r--r--gallina-syntax.el45000logplain
-rw-r--r--gallina.el4830logplain
-rw-r--r--gallina.ml1966logplain
-rw-r--r--gallina_lexer.mll4965logplain
-rw-r--r--inferior-coq.el11621logplain
-rwxr-xr-xmake-both-single-timing-files.py622logplain
-rwxr-xr-xmake-both-time-files.py687logplain
-rwxr-xr-xmake-one-time-file.py773logplain
-rw-r--r--md5sum.ml884logplain
-rw-r--r--mkwinapp.ml3016logplain
-rw-r--r--ocamllibdep.mll8088logplain
-rwxr-xr-xupdate-require2220logplain