aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.bintray.json344logplain
-rw-r--r--.dir-locals.el1554logplain
-rw-r--r--.gitattributes1583logplain
d---------.github45logplain
-rw-r--r--.gitignore3509logplain
-rw-r--r--.gitlab-ci.yml8426logplain
-rw-r--r--.mailmap10407logplain
-rw-r--r--.merlin541logplain
-rw-r--r--.travis.yml7045logplain
d---------API144logplain
-rw-r--r--CHANGES172064logplain
-rw-r--r--COMPATIBILITY8324logplain
-rw-r--r--CONTRIBUTING.md7570logplain
-rw-r--r--COPYRIGHT744logplain
-rw-r--r--CREDITS7649logplain
-rw-r--r--INSTALL11840logplain
-rw-r--r--INSTALL.doc1947logplain
-rw-r--r--INSTALL.ide3717logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--META.coq5067logplain
-rw-r--r--Makefile12513logplain
-rw-r--r--Makefile.build27605logplain
-rw-r--r--Makefile.checker2626logplain
-rw-r--r--Makefile.ci561logplain
-rw-r--r--Makefile.common6953logplain
-rw-r--r--Makefile.dev6641logplain
-rw-r--r--Makefile.doc18905logplain
-rw-r--r--Makefile.ide9389logplain
-rw-r--r--Makefile.install5483logplain
-rw-r--r--README.md2269logplain
-rw-r--r--appveyor.yml585logplain
d---------checker1676logplain
d---------config42logplain
-rwxr-xr-xconfigure944logplain
-rw-r--r--configure.ml45330logplain
-rw-r--r--default.nix1545logplain
d---------dev980logplain
d---------doc306logplain
d---------engine1065logplain
d---------grammar202logplain
d---------ide3119logplain
-rwxr-xr-xinstall.sh238logplain
d---------interp1604logplain
d---------intf478logplain
d---------kernel3688logplain
d---------lib4352logplain
d---------library1476logplain
d---------man567logplain
d---------parsing606logplain
d---------plugins711logplain
d---------pretyping2810logplain
d---------printing589logplain
d---------proofs1208logplain
d---------stm1302logplain
d---------tactics1713logplain
d---------test-suite885logplain
d---------theories875logplain
d---------tools1390logplain
d---------toplevel419logplain
d---------vernac1847logplain