aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.cvsignore94logplain
-rw-r--r--.depend218772logplain
-rw-r--r--.depend.camlp41631logplain
-rw-r--r--.depend.coq45640logplain
-rw-r--r--.depend.newcoq50543logplain
-rw-r--r--ANNONCE1338logplain
-rw-r--r--CHANGES33395logplain
-rw-r--r--CREDITS4322logplain
-rw-r--r--INSTALL9209logplain
-rw-r--r--INSTALL.ide2968logplain
-rw-r--r--INSTALL.macosx599logplain
-rw-r--r--INSTALL.win2071logplain
-rw-r--r--KNOWN-BUGS681logplain
-rw-r--r--LICENSE26430logplain
-rw-r--r--Makefile47616logplain
-rw-r--r--Makefile.dep721logplain
-rw-r--r--PROBLEMES2216logplain
-rw-r--r--README1926logplain
-rw-r--r--README.win1281logplain
-rw-r--r--TODO1278logplain
d---------bin38logplain
d---------config166logplain
-rwxr-xr-xconfigure12434logplain
d---------contrib508logplain
d---------dev898logplain
d---------distrib329logplain
d---------doc828logplain
d---------ide1161logplain
d---------interp837logplain
d---------kernel1688logplain
d---------lib1516logplain
d---------library1178logplain
d---------man460logplain
d---------parsing2335logplain
d---------pretyping1767logplain
d---------proofs825logplain
d---------scripts112logplain
d---------states123logplain
d---------syntax113logplain
d---------tactics1869logplain
d---------test-suite341logplain
d---------theories459logplain
d---------tools764logplain
d---------toplevel1718logplain
d---------translate255logplain