aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.cvsignore38logplain
-rw-r--r--.depend90087logplain
-rw-r--r--.depend.camlp4542logplain
-rw-r--r--.depend.coq35491logplain
-rw-r--r--ANNONCE1795logplain
-rw-r--r--CHANGEMENTS7667logplain
-rw-r--r--CHANGES1273logplain
-rw-r--r--CREDITS3492logplain
-rw-r--r--INSTALL9365logplain
-rw-r--r--KNOWN-BUGS718logplain
-rw-r--r--LICENSE26430logplain
-rw-r--r--Makefile24289logplain
-rw-r--r--Makefile.dep721logplain
-rw-r--r--PROBLEMES4418logplain
-rw-r--r--README2044logplain
-rw-r--r--TODO1054logplain
d---------bin38logplain
d---------config125logplain
-rwxr-xr-xconfigure13317logplain
d---------contrib130logplain
d---------dev499logplain
d---------distrib269logplain
d---------doc523logplain
d---------kernel1356logplain
d---------lib1284logplain
d---------library874logplain
d---------parsing1625logplain
d---------pretyping1331logplain
d---------proofs868logplain
d---------scripts112logplain
d---------states79logplain
d---------syntax151logplain
d---------tactics1783logplain
d---------test-suite200logplain
d---------theories358logplain
d---------tools599logplain
d---------toplevel1675logplain