summaryrefslogtreecommitdiff
path: root/tools
ModeNameSize
-rwxr-xr-xREADME.coq-tex380logplain
-rwxr-xr-xREADME.emacs829logplain
-rwxr-xr-xbeautify-archive2030logplain
-rwxr-xr-xcheck-translate975logplain
-rw-r--r--coq-inferior.el11606logplain
-rwxr-xr-xcoq-sl.sty740logplain
-rw-r--r--coq-tex.ml49597logplain
-rw-r--r--coq.el7010logplain
-rw-r--r--coq_makefile.ml423653logplain
-rw-r--r--coqdep.ml17450logplain
-rwxr-xr-xcoqdep_lexer.mll7859logplain
d---------coqdoc486logplain
-rw-r--r--coqwc.mll9291logplain
-rw-r--r--gallina.ml1932logplain
-rw-r--r--gallina_lexer.mll4947logplain