summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore1513logplain
-rw-r--r--CHANGES83804logplain
-rw-r--r--COMPATIBILITY3029logplain
-rw-r--r--COPYRIGHT1314logplain
-rw-r--r--CREDITS6635logplain
-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--Makefile9250logplain
-rw-r--r--Makefile.build34485logplain
-rw-r--r--Makefile.common33923logplain
-rw-r--r--Makefile.doc11533logplain
-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-xconfigure31328logplain
d---------contrib571logplain
d---------debian1432logplain
d---------dev593logplain
d---------doc140logplain
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-12-27 08:01:19 +0000