aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.dir-locals.el1361logplain
-rw-r--r--.gitignore2574logplain
-rw-r--r--.typerex147logplain
-rw-r--r--CHANGES118122logplain
-rw-r--r--COMPATIBILITY2600logplain
-rw-r--r--COPYRIGHT662logplain
-rw-r--r--CREDITS7032logplain
-rw-r--r--INSTALL11932logplain
-rw-r--r--INSTALL.doc1941logplain
-rw-r--r--INSTALL.ide4466logplain
-rw-r--r--INSTALL.macosx850logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--Makefile9526logplain
-rw-r--r--Makefile.build31420logplain
-rw-r--r--Makefile.common12209logplain
-rw-r--r--Makefile.doc13432logplain
-rw-r--r--README1817logplain
-rwxr-xr-xREADME.doc645logplain
-rw-r--r--README.win2035logplain
-rw-r--r--TODO1560logplain
-rw-r--r--_tags2029logplain
-rwxr-xr-xbuild533logplain
d---------checker1419logplain
d---------config42logplain
-rwxr-xr-xconfigure35595logplain
-rw-r--r--coq-win32.itarget39logplain
-rw-r--r--coq.itarget223logplain
d---------dev807logplain
d---------doc337logplain
d---------grammar323logplain
d---------ide2031logplain
-rwxr-xr-xinstall.sh142logplain
d---------interp1324logplain
d---------intf490logplain
d---------kernel2989logplain
d---------lib3120logplain
d---------library1567logplain
d---------man567logplain
-rw-r--r--myocamlbuild.ml16304logplain
d---------parsing927logplain
d---------plugins765logplain
d---------pretyping2723logplain
d---------printing627logplain
d---------proofs1212logplain
d---------scripts74logplain
d---------tactics2342logplain
d---------test-suite661logplain
d---------theories844logplain
d---------tools1214logplain
d---------toplevel2292logplain