aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.cvsignore38logplain
-rw-r--r--.depend121236logplain
-rw-r--r--.depend.camlp4713logplain
-rw-r--r--.depend.coq30710logplain
-rw-r--r--ANNONCE2097logplain
-rw-r--r--CHANGEMENTS7707logplain
-rw-r--r--CHANGES1312logplain
-rw-r--r--CREDITS3492logplain
-rw-r--r--INSTALL9299logplain
-rw-r--r--KNOWN-BUGS681logplain
-rw-r--r--LICENSE26430logplain
-rw-r--r--Makefile29587logplain
-rw-r--r--Makefile.dep721logplain
-rw-r--r--PROBLEMES4458logplain
-rw-r--r--README2049logplain
-rw-r--r--TODO1557logplain
d---------bin38logplain
d---------config125logplain
-rwxr-xr-xconfigure12363logplain
d---------contrib270logplain
d---------dev499logplain
d---------distrib295logplain
d---------doc523logplain
d---------kernel1356logplain
d---------lib1284logplain
d---------library874logplain
d---------man261logplain
d---------parsing1625logplain
d---------pretyping1331logplain
d---------proofs868logplain
d---------scripts112logplain
d---------states79logplain
d---------syntax151logplain
d---------tactics1783logplain
d---------test-suite200logplain
d---------theories391logplain
d---------tools489logplain
d---------toplevel1675logplain