aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.dir-locals.el439logplain
-rw-r--r--.gitignore3127logplain
-rw-r--r--CHANGES108881logplain
-rw-r--r--COMPATIBILITY1784logplain
-rw-r--r--COPYRIGHT662logplain
-rw-r--r--CREDITS6762logplain
-rw-r--r--INSTALL12891logplain
-rw-r--r--INSTALL.doc1941logplain
-rw-r--r--INSTALL.ide4539logplain
-rw-r--r--INSTALL.macosx850logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--Makefile9964logplain
-rw-r--r--Makefile.build31565logplain
-rw-r--r--Makefile.common12430logplain
-rw-r--r--Makefile.doc13478logplain
-rw-r--r--README1840logplain
-rwxr-xr-xREADME.doc645logplain
-rw-r--r--README.win2035logplain
-rw-r--r--TODO1560logplain
-rw-r--r--_tags2344logplain
-rwxr-xr-xbuild593logplain
d---------checker1419logplain
d---------config87logplain
-rwxr-xr-xconfigure33299logplain
-rw-r--r--coq-win32.itarget39logplain
-rw-r--r--coq.itarget223logplain
d---------dev724logplain
d---------doc337logplain
d---------ide1543logplain
-rwxr-xr-xinstall.sh142logplain
d---------interp1146logplain
d---------kernel2517logplain
d---------lib2104logplain
d---------library1407logplain
d---------man567logplain
-rw-r--r--myocamlbuild.ml17760logplain
d---------parsing1853logplain
d---------plugins857logplain
d---------pretyping2229logplain
d---------proofs1213logplain
d---------scripts74logplain
d---------states41logplain
d---------tactics2253logplain
d---------test-suite661logplain
d---------theories844logplain
d---------tools1131logplain
d---------toplevel2168logplain