aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
ModeNameSize
-rw-r--r--README.emacs833logplain
-rwxr-xr-xbeautify-archive2094logplain
-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.el4900logplain
-rw-r--r--coq-inferior.el11618logplain
-rw-r--r--coq-sl.sty740logplain
-rw-r--r--coq_makefile.ml38706logplain
-rw-r--r--coq_tex.ml10005logplain
-rw-r--r--coqc.ml5513logplain
-rw-r--r--coqdep.ml18373logplain
-rw-r--r--coqdep_boot.ml2090logplain
-rw-r--r--coqdep_common.ml20503logplain
-rw-r--r--coqdep_common.mli3238logplain
-rw-r--r--coqdep_lexer.mli1005logplain
-rw-r--r--coqdep_lexer.mll9735logplain
d---------coqdoc562logplain
-rw-r--r--coqmktop.ml10542logplain
-rw-r--r--coqwc.mll9047logplain
-rw-r--r--coqworkmgr.ml6979logplain
-rw-r--r--fake_ide.ml12071logplain
-rw-r--r--gallina-db.el8684logplain
-rw-r--r--gallina-syntax.el45137logplain
-rw-r--r--gallina.el4830logplain
-rw-r--r--gallina.ml1816logplain
-rw-r--r--gallina_lexer.mll4850logplain
-rw-r--r--mkwinapp.ml3016logplain
-rw-r--r--ocamllibdep.mll6718logplain
-rwxr-xr-xupdate-require2220logplain