aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.gitignore1618logplain
-rw-r--r--CHANGES86289logplain
-rw-r--r--COMPATIBILITY2576logplain
-rw-r--r--COPYRIGHT1454logplain
-rw-r--r--CREDITS6635logplain
-rwxr-xr-xCoq.bat159logplain
-rwxr-xr-xCoqide.bat156logplain
-rw-r--r--INSTALL12956logplain
-rw-r--r--INSTALL.doc1941logplain
-rw-r--r--INSTALL.ide4541logplain
-rw-r--r--INSTALL.macosx850logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--Makefile10799logplain
-rw-r--r--Makefile.build31644logplain
-rw-r--r--Makefile.common23045logplain
-rw-r--r--Makefile.doc12236logplain
-rw-r--r--Makefile.stage11256logplain
-rw-r--r--Makefile.stage2981logplain
-rw-r--r--README1840logplain
-rwxr-xr-xREADME.doc645logplain
-rw-r--r--README.win1835logplain
-rw-r--r--TODO1560logplain
-rw-r--r--_tags2193logplain
-rwxr-xr-xbuild529logplain
d---------checker1375logplain
d---------config87logplain
-rwxr-xr-xconfigure32649logplain
-rw-r--r--coq.itarget59logplain
d---------dev688logplain
d---------doc337logplain
d---------ide1294logplain
-rwxr-xr-xinstall.sh146logplain
d---------interp1146logplain
d---------kernel2517logplain
d---------lib1988logplain
d---------library1407logplain
d---------man567logplain
-rw-r--r--myocamlbuild.ml14802logplain
d---------parsing1914logplain
d---------plugins847logplain
d---------pretyping2298logplain
d---------proofs1070logplain
d---------scripts74logplain
d---------states41logplain
d---------tactics2259logplain
d---------test-suite625logplain
d---------theories777logplain
d---------tools809logplain
d---------toplevel2208logplain