aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.dir-locals.el1554logplain
-rw-r--r--.gitattributes125logplain
-rw-r--r--.gitignore2822logplain
-rw-r--r--.mailmap8323logplain
-rw-r--r--.merlin352logplain
-rw-r--r--CHANGES142643logplain
-rw-r--r--COMPATIBILITY5396logplain
-rw-r--r--COPYRIGHT662logplain
-rw-r--r--CREDITS6587logplain
-rw-r--r--INSTALL10330logplain
-rw-r--r--INSTALL.doc1741logplain
-rw-r--r--INSTALL.ide3719logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--Makefile10713logplain
-rw-r--r--Makefile.build38070logplain
-rw-r--r--Makefile.common13576logplain
-rw-r--r--Makefile.doc13575logplain
-rw-r--r--README1614logplain
-rw-r--r--README.doc645logplain
-rw-r--r--README.win1150logplain
-rw-r--r--TODO1569logplain
-rw-r--r--_tags1989logplain
-rwxr-xr-xbuild533logplain
d---------checker1712logplain
d---------config42logplain
-rwxr-xr-xconfigure932logplain
-rw-r--r--configure.ml40863logplain
-rw-r--r--coq-win32.itarget39logplain
-rw-r--r--coq.itarget223logplain
d---------dev980logplain
d---------doc374logplain
d---------engine589logplain
d---------grammar323logplain
d---------ide2757logplain
-rwxr-xr-xinstall.sh233logplain
d---------interp1486logplain
d---------intf490logplain
d---------kernel3773logplain
d---------lib4559logplain
d---------library1713logplain
d---------man567logplain
-rw-r--r--myocamlbuild.ml16282logplain
d---------parsing766logplain
d---------plugins798logplain
d---------pretyping2601logplain
d---------printing1093logplain
d---------proofs1260logplain
d---------stm1274logplain
d---------tactics2950logplain
d---------test-suite793logplain
d---------theories909logplain
d---------tools1258logplain
d---------toplevel1943logplain