aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.dir-locals.el1554logplain
-rw-r--r--.gitattributes125logplain
-rw-r--r--.gitignore2593logplain
-rw-r--r--.mailmap8686logplain
-rw-r--r--.merlin391logplain
-rw-r--r--CHANGES153371logplain
-rw-r--r--COMPATIBILITY7540logplain
-rw-r--r--COPYRIGHT744logplain
-rw-r--r--CREDITS6738logplain
-rw-r--r--INSTALL10613logplain
-rw-r--r--INSTALL.doc1766logplain
-rw-r--r--INSTALL.ide3715logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--Makefile10391logplain
-rw-r--r--Makefile.build23249logplain
-rw-r--r--Makefile.checker2637logplain
-rw-r--r--Makefile.common6478logplain
-rw-r--r--Makefile.dev7271logplain
-rw-r--r--Makefile.doc18363logplain
-rw-r--r--Makefile.ide9301logplain
-rw-r--r--Makefile.install5138logplain
-rw-r--r--README.doc645logplain
-rw-r--r--README.md1684logplain
-rw-r--r--README.win1150logplain
-rw-r--r--TODO1569logplain
d---------checker1712logplain
d---------config42logplain
-rwxr-xr-xconfigure932logplain
-rw-r--r--configure.ml42100logplain
d---------dev972logplain
d---------doc374logplain
d---------engine907logplain
d---------grammar361logplain
d---------ide3254logplain
-rwxr-xr-xinstall.sh233logplain
d---------interp1486logplain
d---------intf490logplain
d---------kernel3775logplain
d---------lib4351logplain
d---------library1713logplain
d---------ltac1445logplain
d---------man567logplain
d---------parsing729logplain
d---------plugins609logplain
d---------pretyping2605logplain
d---------printing1008logplain
d---------proofs1126logplain
d---------stm1294logplain
d---------tactics1804logplain
d---------test-suite793logplain
d---------theories833logplain
d---------tools1144logplain
d---------toplevel1904logplain