aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--CHANGES79485logplain
-rw-r--r--COMPATIBILITY2576logplain
-rw-r--r--COPYRIGHT1756logplain
-rw-r--r--CREDITS6363logplain
-rwxr-xr-xCoq.bat159logplain
-rwxr-xr-xCoqide.bat156logplain
-rw-r--r--INSTALL12969logplain
-rw-r--r--INSTALL.doc1688logplain
-rw-r--r--INSTALL.ide4624logplain
-rw-r--r--INSTALL.macosx850logplain
-rw-r--r--KNOWN-BUGS681logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--Makefile8998logplain
-rw-r--r--Makefile.build32723logplain
-rw-r--r--Makefile.common33828logplain
-rw-r--r--Makefile.doc9326logplain
-rw-r--r--Makefile.stage11256logplain
-rw-r--r--Makefile.stage2699logplain
-rw-r--r--Makefile.stage3698logplain
-rw-r--r--PROBLEMES2216logplain
-rw-r--r--README1840logplain
-rwxr-xr-xREADME.doc645logplain
-rw-r--r--README.win1835logplain
-rw-r--r--TODO1560logplain
d---------checker1301logplain
d---------config128logplain
-rwxr-xr-xconfigure29415logplain
d---------contrib605logplain
d---------dev593logplain
d---------doc337logplain
d---------ide1180logplain
d---------interp1021logplain
d---------kernel2477logplain
d---------lib1550logplain
d---------library1366logplain
d---------man531logplain
d---------parsing2079logplain
d---------pretyping2097logplain
d---------proofs1030logplain
d---------scripts74logplain
d---------states85logplain
d---------tactics2144logplain
d---------test-suite555logplain
d---------theories664logplain
d---------tools557logplain
d---------toplevel1847logplain