aboutsummaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.dir-locals.el1554logplain
-rw-r--r--.gitattributes125logplain
-rw-r--r--.gitignore3400logplain
-rw-r--r--.gitlab-ci.yml7475logplain
-rw-r--r--.mailmap9313logplain
-rw-r--r--.merlin541logplain
-rw-r--r--.travis.yml4569logplain
d---------API229logplain
-rw-r--r--CHANGES163929logplain
-rw-r--r--COMPATIBILITY8159logplain
-rw-r--r--COPYRIGHT744logplain
-rw-r--r--CREDITS6738logplain
-rw-r--r--INSTALL10939logplain
-rw-r--r--INSTALL.doc1947logplain
-rw-r--r--INSTALL.ide3717logplain
-rw-r--r--LICENSE24381logplain
-rw-r--r--META.coq5200logplain
-rw-r--r--Makefile10969logplain
-rw-r--r--Makefile.build23183logplain
-rw-r--r--Makefile.checker2626logplain
-rw-r--r--Makefile.ci503logplain
-rw-r--r--Makefile.common6602logplain
-rw-r--r--Makefile.dev6672logplain
-rw-r--r--Makefile.doc18440logplain
-rw-r--r--Makefile.ide9473logplain
-rw-r--r--Makefile.install5585logplain
-rw-r--r--README.ci.md3999logplain
-rw-r--r--README.doc645logplain
-rw-r--r--README.md2112logplain
d---------checker1676logplain
d---------config42logplain
-rwxr-xr-xconfigure932logplain
-rw-r--r--configure.ml44949logplain
d---------dev795logplain
d---------doc374logplain
d---------engine992logplain
d---------grammar240logplain
d---------ide3159logplain
-rwxr-xr-xinstall.sh233logplain
d---------interp1330logplain
d---------intf517logplain
d---------kernel3687logplain
d---------lib4281logplain
d---------library1784logplain
d---------man567logplain
d---------parsing651logplain
d---------plugins676logplain
d---------pretyping2605logplain
d---------printing670logplain
d---------proofs1126logplain
d---------stm1302logplain
d---------tactics1630logplain
d---------test-suite853logplain
d---------theories875logplain
d---------tools1186logplain
d---------toplevel419logplain
d---------vernac1758logplain
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-22 16:01:43 +0000