aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
ModeNameSize
-rwxr-xr-xREADME.coq-tex380logplain
-rwxr-xr-xREADME.emacs829logplain
-rw-r--r--beautify-archive2030logplain
-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-db.el8673logplain
-rw-r--r--coq-font-lock.el4902logplain
-rw-r--r--coq-inferior.el11606logplain
-rwxr-xr-xcoq-sl.sty740logplain
-rw-r--r--coq-syntax.el44413logplain
-rw-r--r--coq.el4804logplain
-rw-r--r--coq_makefile.ml423480logplain
-rw-r--r--coq_tex.ml49503logplain
-rw-r--r--coqdep.ml6694logplain
-rw-r--r--coqdep_boot.ml1902logplain
-rw-r--r--coqdep_common.ml15678logplain
-rw-r--r--coqdep_lexer.mll7770logplain
d---------coqdoc562logplain
-rw-r--r--coqwc.mll9193logplain
-rw-r--r--gallina.ml1861logplain
-rw-r--r--gallina_lexer.mll4863logplain