aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.cvsignore48logplain
-rw-r--r--.depend146287logplain
-rw-r--r--.depend.camlp4929logplain
-rw-r--r--.depend.coq26066logplain
-rw-r--r--ANNONCE2915logplain
-rw-r--r--CHANGES20448logplain
-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--Makefile33804logplain
-rw-r--r--Makefile.dep721logplain
-rw-r--r--PROBLEMES2216logplain
-rw-r--r--README1918logplain
-rw-r--r--README.win1351logplain
-rw-r--r--TODO1244logplain
d---------bin38logplain
d---------config166logplain
-rwxr-xr-xconfigure12624logplain
d---------contrib370logplain
d---------dev651logplain
d---------distrib295logplain
d---------doc564logplain
d---------kernel1287logplain
d---------lib1439logplain
d---------library876logplain
d---------man460logplain
d---------parsing2133logplain
d---------pretyping1811logplain
d---------proofs906logplain
d---------scripts112logplain
d---------states79logplain
d---------syntax151logplain
d---------tactics2373logplain
d---------test-suite274logplain
d---------theories459logplain
d---------tools575logplain
d---------toplevel1718logplain