aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
ModeNameSize
-rw-r--r--.cvsignore69logplain
-rwxr-xr-xREADME.coq-tex380logplain
-rwxr-xr-xREADME.emacs829logplain
-rwxr-xr-xcoq-sl.sty740logplain
-rw-r--r--coq-tex.ml8821logplain
-rw-r--r--coq.el6830logplain
-rw-r--r--coq_makefile.ml14207logplain
-rw-r--r--coq_vo2xml.ml5361logplain
-rwxr-xr-xcoqdep.ml14876logplain
-rwxr-xr-xcoqdep_lexer.mll7397logplain
-rw-r--r--gallina.ml1877logplain
-rw-r--r--gallina_lexer.mll4775logplain
-rwxr-xr-xtranslate_V6-3-1_to_V7-01006logplain