summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--CHANGES81561logplain
-rw-r--r--COMPATIBILITY3029logplain
-rw-r--r--COPYRIGHT1454logplain
-rw-r--r--CREDITS6363logplain
-rwxr-xr-xCoq.bat159logplain
-rwxr-xr-xCoqide.bat156logplain
-rw-r--r--INSTALL12748logplain
-rw-r--r--INSTALL.doc1941logplain
-rw-r--r--INSTALL.ide4624logplain
-rw-r--r--INSTALL.macosx913logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--Makefile9102logplain
-rw-r--r--Makefile.build34355logplain
-rw-r--r--Makefile.common33911logplain
-rw-r--r--Makefile.doc11760logplain
-rw-r--r--Makefile.stage11256logplain
-rw-r--r--Makefile.stage2699logplain
-rw-r--r--Makefile.stage3698logplain
-rw-r--r--README1830logplain
-rwxr-xr-xREADME.doc645logplain
-rw-r--r--README.win2265logplain
d---------checker1336logplain
d---------config128logplain
-rwxr-xr-xconfigure30994logplain
d---------contrib571logplain
d---------debian1435logplain
d---------dev593logplain
d---------doc107logplain
d---------ide1230logplain
-rwxr-xr-xinstall.sh144logplain
d---------interp1021logplain
d---------kernel2477logplain
d---------lib1625logplain
d---------library1366logplain
d---------man567logplain
d---------parsing2079logplain
d---------pretyping2097logplain
d---------proofs1030logplain
d---------scripts74logplain
d---------states85logplain
d---------tactics2053logplain
d---------test-suite522logplain
d---------theories664logplain
d---------tools601logplain
d---------toplevel1847logplain
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-02 05:42:52 +0000