aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.cvsignore48logplain
-rw-r--r--.depend165463logplain
-rw-r--r--.depend.camlp41611logplain
-rw-r--r--.depend.coq26094logplain
-rw-r--r--ANNONCE2915logplain
-rw-r--r--CHANGES21488logplain
-rw-r--r--CREDITS4322logplain
-rw-r--r--INSTALL9206logplain
-rw-r--r--INSTALL.macosx599logplain
-rw-r--r--INSTALL.win2071logplain
-rw-r--r--KNOWN-BUGS681logplain
-rw-r--r--LICENSE26430logplain
-rw-r--r--Makefile36353logplain
-rw-r--r--Makefile.dep721logplain
-rw-r--r--PROBLEMES2216logplain
-rw-r--r--README1918logplain
-rw-r--r--README.win1351logplain
-rw-r--r--TODO1278logplain
d---------bin38logplain
d---------config166logplain
-rwxr-xr-xconfigure12624logplain
d---------contrib370logplain
d---------dev651logplain
d---------distrib295logplain
d---------doc564logplain
d---------kernel1287logplain
d---------lib1439logplain
d---------library876logplain
d---------man460logplain
d---------parsing2095logplain
d---------pretyping1811logplain
d---------proofs825logplain
d---------scripts112logplain
d---------states79logplain
d---------syntax113logplain
d---------tactics1989logplain
d---------test-suite274logplain
d---------theories459logplain
d---------tools575logplain
d---------toplevel1718logplain