aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--CHANGES59192logplain
-rw-r--r--COMPATIBILITY2503logplain
-rw-r--r--COPYRIGHT1756logplain
-rw-r--r--CREDITS5604logplain
-rwxr-xr-xCoq.bat159logplain
-rwxr-xr-xCoqide.bat156logplain
-rw-r--r--INSTALL11224logplain
-rw-r--r--INSTALL.ide4071logplain
-rw-r--r--INSTALL.macosx850logplain
-rw-r--r--KNOWN-BUGS681logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--Makefile7806logplain
-rw-r--r--Makefile.build28466logplain
-rw-r--r--Makefile.common32900logplain
-rw-r--r--Makefile.stage11256logplain
-rw-r--r--Makefile.stage2699logplain
-rw-r--r--Makefile.stage3677logplain
-rw-r--r--PROBLEMES2216logplain
-rw-r--r--README1876logplain
-rw-r--r--README.win1839logplain
-rw-r--r--TODO1560logplain
d---------config128logplain
-rwxr-xr-xconfigure24279logplain
d---------contrib639logplain
d---------dev559logplain
d---------doc442logplain
d---------ide1222logplain
d---------interp942logplain
d---------kernel2477logplain
d---------lib1550logplain
d---------library1178logplain
d---------man491logplain
d---------parsing2120logplain
d---------pretyping2097logplain
d---------proofs1030logplain
d---------scripts74logplain
d---------states85logplain
d---------tactics2143logplain
d---------test-suite451logplain
d---------theories728logplain
d---------tools557logplain
d---------toplevel1922logplain