summaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.bintray.json344logplain
d---------.circleci38logplain
-rw-r--r--.gitattributes2282logplain
d---------.github135logplain
-rw-r--r--.gitignore3075logplain
-rw-r--r--.gitlab-ci.yml9132logplain
-rw-r--r--.mailmap10407logplain
-rw-r--r--.merlin.in559logplain
-rw-r--r--.travis.yml7795logplain
-rw-r--r--CHANGES185898logplain
-rw-r--r--CONTRIBUTING.md9235logplain
-rw-r--r--CREDITS8087logplain
-rw-r--r--INSTALL12475logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--META.coq.in10146logplain
-rw-r--r--Makefile12321logplain
-rw-r--r--Makefile.build30500logplain
-rw-r--r--Makefile.checker4178logplain
-rw-r--r--Makefile.ci1654logplain
-rw-r--r--Makefile.common6256logplain
-rw-r--r--Makefile.dev7091logplain
-rw-r--r--Makefile.doc9775logplain
-rw-r--r--Makefile.ide10369logplain
-rw-r--r--Makefile.install5691logplain
-rw-r--r--Makefile.vofiles1536logplain
-rw-r--r--README.md3263logplain
-rw-r--r--appveyor.yml297logplain
d---------checker1941logplain
d---------clib2500logplain
d---------config42logplain
-rwxr-xr-xconfigure944logplain
-rw-r--r--configure.ml49612logplain
d---------coqpp166logplain
-rw-r--r--default.nix3227logplain
d---------dev1237logplain
d---------doc240logplain
d---------engine1553logplain
d---------grammar202logplain
d---------ide3342logplain
-rwxr-xr-xinstall.sh248logplain
d---------interp1606logplain
d---------kernel3805logplain
d---------lib1863logplain
d---------library1517logplain
d---------man492logplain
d---------parsing580logplain
d---------plugins638logplain
d---------pretyping2788logplain
d---------printing510logplain
d---------proofs1332logplain
-rw-r--r--shell.nix251logplain
d---------stm986logplain
d---------tactics1713logplain
d---------test-suite956logplain
d---------theories833logplain
d---------tools1094logplain
d---------topbin235logplain
d---------toplevel621logplain
d---------vernac2692logplain