aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.cvsignore94logplain
-rw-r--r--.depend245755logplain
-rw-r--r--.depend.camlp41795logplain
-rw-r--r--.depend.coq41822logplain
-rw-r--r--ANNONCE3710logplain
-rw-r--r--CHANGES46083logplain
-rw-r--r--COPYRIGHT1383logplain
-rw-r--r--CREDITS4637logplain
-rwxr-xr-xCoq.bat159logplain
-rwxr-xr-xCoqide.bat156logplain
-rw-r--r--INSTALL9222logplain
-rw-r--r--INSTALL.ide3034logplain
-rw-r--r--INSTALL.macosx633logplain
-rw-r--r--INSTALL.win2071logplain
-rw-r--r--KNOWN-BUGS681logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--Makefile57155logplain
-rw-r--r--Makefile.dep750logplain
-rw-r--r--PROBLEMES2216logplain
-rw-r--r--README1876logplain
-rw-r--r--README.win1281logplain
-rw-r--r--TODO1278logplain
d---------bin38logplain
d---------config166logplain
-rwxr-xr-xconfigure15085logplain
d---------contrib641logplain
d---------dev1012logplain
d---------distrib407logplain
d---------doc442logplain
d---------ide1294logplain
d---------interp839logplain
d---------kernel2424logplain
d---------lib1554logplain
d---------library1178logplain
-rw-r--r--make.result30logplain
d---------man491logplain
d---------parsing1993logplain
d---------pretyping1840logplain
d---------proofs908logplain
d---------scripts112logplain
d---------states123logplain
d---------tactics1956logplain
d---------test-suite345logplain
d---------theories558logplain
d---------tools552logplain
d---------toplevel1711logplain