aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.bintray.json344logplain
d---------.circleci38logplain
-rw-r--r--.gitattributes2150logplain
d---------.github135logplain
-rw-r--r--.gitignore2985logplain
-rw-r--r--.gitlab-ci.yml7321logplain
-rw-r--r--.mailmap10407logplain
-rw-r--r--.merlin559logplain
-rw-r--r--.travis.yml9068logplain
-rw-r--r--CHANGES182419logplain
-rw-r--r--CONTRIBUTING.md9088logplain
-rw-r--r--CREDITS8152logplain
-rw-r--r--INSTALL12590logplain
-rw-r--r--INSTALL.doc2382logplain
-rw-r--r--INSTALL.ide3708logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--META.coq10392logplain
-rw-r--r--Makefile12576logplain
-rw-r--r--Makefile.build29889logplain
-rw-r--r--Makefile.checker4168logplain
-rw-r--r--Makefile.ci1572logplain
-rw-r--r--Makefile.common6225logplain
-rw-r--r--Makefile.dev6833logplain
-rw-r--r--Makefile.doc9751logplain
-rw-r--r--Makefile.ide10344logplain
-rw-r--r--Makefile.install5932logplain
-rw-r--r--Makefile.vofiles1516logplain
-rw-r--r--README.md2818logplain
-rw-r--r--appveyor.yml297logplain
d---------checker1941logplain
d---------clib2648logplain
d---------config42logplain
-rwxr-xr-xconfigure944logplain
-rw-r--r--configure.ml49436logplain
-rw-r--r--default.nix2328logplain
d---------dev1234logplain
d---------doc203logplain
d---------engine1511logplain
d---------grammar202logplain
d---------ide3339logplain
-rwxr-xr-xinstall.sh248logplain
d---------interp1648logplain
d---------kernel3805logplain
d---------lib1864logplain
d---------library1557logplain
d---------man529logplain
d---------parsing372logplain
d---------plugins669logplain
d---------pretyping3103logplain
d---------printing510logplain
d---------proofs1293logplain
d---------stm986logplain
d---------tactics1713logplain
d---------test-suite956logplain
d---------theories833logplain
d---------tools1388logplain
d---------topbin235logplain
d---------toplevel621logplain
d---------vernac2652logplain