aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
ModeNameSize
-rw-r--r--.cvsignore78logplain
-rwxr-xr-xREADME.coq-tex380logplain
-rwxr-xr-xREADME.emacs829logplain
-rwxr-xr-xcheck-v8782logplain
-rw-r--r--coq-inferior.el11606logplain
-rwxr-xr-xcoq-sl.sty740logplain
-rw-r--r--coq-tex.ml49535logplain
-rw-r--r--coq.el7010logplain
-rw-r--r--coq_makefile.ml415261logplain
-rwxr-xr-xcoqdep.ml17130logplain
-rwxr-xr-xcoqdep_lexer.mll7437logplain
d---------coqdoc446logplain
-rw-r--r--coqwc.mll9111logplain
-rw-r--r--gallina.ml1877logplain
-rw-r--r--gallina_lexer.mll4875logplain
-rwxr-xr-xrestore-v7185logplain
-rwxr-xr-xtranslate-v81404logplain
-rwxr-xr-xtranslate_V6-3-1_to_V7-01006logplain
-rwxr-xr-xupgrade-v8561logplain