aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
ModeNameSize
-rwxr-xr-xREADME.coq-tex380logplain
-rwxr-xr-xREADME.emacs829logplain
-rwxr-xr-xbeautify-archive2034logplain
-rwxr-xr-xcheck-translate975logplain
-rw-r--r--compat5.ml685logplain
-rw-r--r--compat5.mlp965logplain
-rw-r--r--compat5b.ml686logplain
-rw-r--r--compat5b.mlp977logplain
-rw-r--r--coq-font-lock.el4902logplain
-rw-r--r--coq-inferior.el11610logplain
-rwxr-xr-xcoq-sl.sty740logplain
-rw-r--r--coq_makefile.ml33074logplain
-rw-r--r--coq_tex.ml9984logplain
-rw-r--r--coqc.ml6536logplain
-rw-r--r--coqdep.ml16737logplain
-rw-r--r--coqdep_boot.ml1843logplain
-rw-r--r--coqdep_common.ml17261logplain
-rw-r--r--coqdep_common.mli2229logplain
-rw-r--r--coqdep_lexer.mli1017logplain
-rw-r--r--coqdep_lexer.mll9706logplain
d---------coqdoc562logplain
-rw-r--r--coqmktop.ml10524logplain
-rw-r--r--coqwc.mll9085logplain
-rw-r--r--fake_ide.ml11565logplain
-rw-r--r--gallina-db.el8685logplain
-rw-r--r--gallina-syntax.el44726logplain
-rw-r--r--gallina.el4820logplain
-rw-r--r--gallina.ml1861logplain
-rw-r--r--gallina_lexer.mll4850logplain
-rw-r--r--mkwinapp.ml3016logplain
-rwxr-xr-xupdate-require2220logplain