aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.dir-locals.el1554logplain
-rw-r--r--.gitattributes125logplain
-rw-r--r--.gitignore2721logplain
-rw-r--r--.mailmap8686logplain
-rw-r--r--.merlin448logplain
-rw-r--r--.travis.yml3685logplain
-rw-r--r--CHANGES160278logplain
-rw-r--r--COMPATIBILITY7834logplain
-rw-r--r--COPYRIGHT744logplain
-rw-r--r--CREDITS6738logplain
-rw-r--r--INSTALL10535logplain
-rw-r--r--INSTALL.doc1766logplain
-rw-r--r--INSTALL.ide3717logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--META.coq5013logplain
-rw-r--r--Makefile10741logplain
-rw-r--r--Makefile.build23513logplain
-rw-r--r--Makefile.checker2637logplain
-rw-r--r--Makefile.ci377logplain
-rw-r--r--Makefile.common6401logplain
-rw-r--r--Makefile.dev7071logplain
-rw-r--r--Makefile.doc18368logplain
-rw-r--r--Makefile.ide9301logplain
-rw-r--r--Makefile.install5308logplain
-rw-r--r--README.ci2924logplain
-rw-r--r--README.doc645logplain
-rw-r--r--README.md1684logplain
-rw-r--r--TODO1569logplain
d---------checker1676logplain
d---------config42logplain
-rwxr-xr-xconfigure940logplain
-rw-r--r--configure.ml42409logplain
d---------dev795logplain
d---------doc374logplain
d---------engine988logplain
d---------grammar361logplain
d---------ide3244logplain
-rwxr-xr-xinstall.sh233logplain
d---------interp1405logplain
d---------intf491logplain
d---------kernel3688logplain
d---------lib4116logplain
d---------library1632logplain
d---------man567logplain
d---------parsing689logplain
d---------plugins604logplain
d---------pretyping2605logplain
d---------printing670logplain
d---------proofs1126logplain
d---------stm1302logplain
d---------tactics1630logplain
d---------test-suite839logplain
d---------theories833logplain
d---------tools1144logplain
d---------toplevel419logplain
d---------vernac1675logplain