aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.depend269182logplain
-rw-r--r--.depend.camlp41925logplain
-rw-r--r--.depend.coq64076logplain
-rw-r--r--CHANGES52572logplain
-rw-r--r--COMPATIBILITY2503logplain
-rw-r--r--COPYRIGHT1756logplain
-rw-r--r--CREDITS5604logplain
-rwxr-xr-xCoq.bat159logplain
-rwxr-xr-xCoqide.bat156logplain
-rw-r--r--INSTALL9279logplain
-rw-r--r--INSTALL.ide3034logplain
-rw-r--r--INSTALL.macosx633logplain
-rw-r--r--INSTALL.win2062logplain
-rw-r--r--KNOWN-BUGS681logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--Makefile61734logplain
-rw-r--r--Makefile.dep750logplain
-rw-r--r--PROBLEMES2216logplain
-rw-r--r--README1876logplain
-rw-r--r--README.win1281logplain
-rw-r--r--TODO1560logplain
d---------config128logplain
-rwxr-xr-xconfigure20730logplain
d---------contrib603logplain
d---------dev521logplain
d---------doc442logplain
d---------ide1256logplain
d---------interp839logplain
d---------kernel2386logplain
d---------lib1479logplain
d---------library1178logplain
-rw-r--r--make.result30logplain
d---------man491logplain
d---------parsing2035logplain
d---------pretyping1913logplain
d---------proofs1030logplain
d---------scripts74logplain
d---------states85logplain
d---------tactics2099logplain
d---------test-suite382logplain
d---------theories591logplain
d---------tools557logplain
d---------toplevel1673logplain