aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.bintray.json344logplain
d---------.circleci38logplain
-rw-r--r--.gitattributes2011logplain
d---------.github97logplain
-rw-r--r--.gitignore3363logplain
-rw-r--r--.gitlab-ci.yml8504logplain
-rw-r--r--.mailmap10407logplain
-rw-r--r--.merlin555logplain
-rw-r--r--.travis.yml8684logplain
-rw-r--r--CHANGES176666logplain
-rw-r--r--CONTRIBUTING.md8770logplain
-rw-r--r--CREDITS8024logplain
-rw-r--r--INSTALL11841logplain
-rw-r--r--INSTALL.doc1947logplain
-rw-r--r--INSTALL.ide3708logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--META.coq10896logplain
-rw-r--r--Makefile12545logplain
-rw-r--r--Makefile.build28216logplain
-rw-r--r--Makefile.checker2978logplain
-rw-r--r--Makefile.ci763logplain
-rw-r--r--Makefile.common6914logplain
-rw-r--r--Makefile.dev6637logplain
-rw-r--r--Makefile.doc17422logplain
-rw-r--r--Makefile.ide9412logplain
-rw-r--r--Makefile.install5813logplain
-rw-r--r--README.md2699logplain
-rw-r--r--appveyor.yml492logplain
d---------checker1941logplain
d---------clib2563logplain
d---------config42logplain
-rwxr-xr-xconfigure944logplain
-rw-r--r--configure.ml48788logplain
-rw-r--r--default.nix1853logplain
d---------dev986logplain
d---------doc276logplain
d---------engine1065logplain
d---------grammar202logplain
d---------ide3541logplain
-rwxr-xr-xinstall.sh248logplain
d---------interp1604logplain
d---------intf478logplain
d---------kernel3882logplain
d---------lib1864logplain
d---------library1476logplain
d---------man529logplain
d---------parsing571logplain
d---------plugins669logplain
d---------pretyping2907logplain
d---------printing589logplain
d---------proofs1208logplain
d---------stm1302logplain
d---------tactics1713logplain
d---------test-suite922logplain
d---------theories833logplain
d---------tools1388logplain
d---------toplevel628logplain
d---------vernac2219logplain
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-09 22:48:56 +0000