aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.dir-locals.el1554logplain
-rw-r--r--.gitignore2586logplain
-rw-r--r--.mailmap8136logplain
-rw-r--r--.merlin334logplain
-rw-r--r--CHANGES132844logplain
-rw-r--r--COMPATIBILITY3762logplain
-rw-r--r--COPYRIGHT662logplain
-rw-r--r--CREDITS7070logplain
-rw-r--r--INSTALL11065logplain
-rw-r--r--INSTALL.doc1941logplain
-rw-r--r--INSTALL.ide4466logplain
-rw-r--r--INSTALL.macosx850logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--Makefile10737logplain
-rw-r--r--Makefile.build37595logplain
-rw-r--r--Makefile.common12997logplain
-rw-r--r--Makefile.doc13157logplain
-rw-r--r--README1614logplain
-rwxr-xr-xREADME.doc645logplain
-rw-r--r--README.win2035logplain
-rw-r--r--TODO1569logplain
-rw-r--r--_tags2005logplain
-rwxr-xr-xbuild533logplain
d---------checker1635logplain
d---------config42logplain
-rwxr-xr-xconfigure932logplain
-rw-r--r--configure.ml40203logplain
-rw-r--r--coq-win32.itarget39logplain
-rw-r--r--coq.itarget223logplain
d---------dev929logplain
d---------doc337logplain
d---------grammar323logplain
d---------ide2642logplain
-rwxr-xr-xinstall.sh142logplain
d---------interp1486logplain
d---------intf490logplain
d---------kernel3698logplain
d---------lib4557logplain
d---------library1798logplain
d---------man567logplain
-rw-r--r--myocamlbuild.ml16265logplain
d---------parsing803logplain
d---------plugins798logplain
d---------pretyping2822logplain
d---------printing1170logplain
d---------proofs1438logplain
d---------stm1272logplain
d---------tactics2948logplain
d---------test-suite691logplain
d---------theories844logplain
d---------tools1299logplain
d---------toplevel1932logplain