aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.cvsignore38logplain
-rw-r--r--.depend61311logplain
-rw-r--r--.depend.camlp42556logplain
-rw-r--r--.depend.coq1466logplain
-rw-r--r--Makefile15232logplain
d---------config125logplain
-rwxr-xr-xconfigure12192logplain
d---------dev452logplain
d---------doc523logplain
d---------kernel1431logplain
d---------lib1207logplain
d---------library951logplain
d---------parsing1396logplain
d---------pretyping1106logplain
d---------proofs773logplain
d---------scripts113logplain
d---------states38logplain
d---------syntax152logplain
d---------tactics1101logplain
d---------test-suite65logplain
d---------theories / Init31logplain
d---------tools547logplain
d---------toplevel1453logplain