summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitattributes2773logplain
d---------.github209logplain
-rw-r--r--.gitignore2536logplain
-rw-r--r--.gitlab-ci.yml23163logplain
-rw-r--r--.mailmap22303logplain
-rw-r--r--.ocp-indent17logplain
-rw-r--r--CODE_OF_CONDUCT.md7520logplain
-rw-r--r--CONTRIBUTING.md70014logplain
-rw-r--r--CREDITS8053logplain
-rw-r--r--INSTALL.md4764logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--Makefile9833logplain
-rw-r--r--Makefile.ci3790logplain
-rw-r--r--README.md5674logplain
d---------boot316logplain
d---------checker1114logplain
d---------clib2567logplain
d---------config161logplain
-rwxr-xr-xconfigure400logplain
-rw-r--r--coq-core.opam1903logplain
-rw-r--r--coq-doc.opam1094logplain
-rw-r--r--coq-stdlib.opam1818logplain
-rw-r--r--coq.opam1307logplain
-rw-r--r--coqide-server.opam1262logplain
-rw-r--r--coqide.opam1160logplain
d---------coqpp368logplain
-rw-r--r--default.nix4757logplain
d---------dev1323logplain
d---------doc394logplain
-rw-r--r--dune1873logplain
-rw-r--r--dune-project4836logplain
d---------engine1387logplain
-rw-r--r--flake.lock1438logplain
-rw-r--r--flake.nix339logplain
d---------gramlib412logplain
d---------ide33logplain
-rw-r--r--index.mld200logplain
d---------interp1534logplain
d---------kernel4879logplain
d---------lib2025logplain
d---------library725logplain
d---------man480logplain
d---------parsing608logplain
d---------plugins498logplain
d---------pretyping2953logplain
d---------printing508logplain
d---------proofs696logplain
-rw-r--r--shell.nix142logplain
d---------stm905logplain
d---------sysinit271logplain
d---------tactics2187logplain
d---------test-suite1177logplain
d---------theories1390logplain
d---------tools867logplain
d---------topbin465logplain
d---------toplevel1200logplain
d---------user-contrib32logplain
d---------vernac4518logplain
generated by cgit v0.10.2-6-g49f6 at 2024-06-08 01:16:21 (GMT)