index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Mode
Name
Size
-rw-r--r--
.dir-locals.el
1554
log
plain
-rw-r--r--
.gitattributes
125
log
plain
-rw-r--r--
.gitignore
3424
log
plain
-rw-r--r--
.gitlab-ci.yml
7609
log
plain
-rw-r--r--
.mailmap
9313
log
plain
-rw-r--r--
.merlin
541
log
plain
-rw-r--r--
.travis.yml
4785
log
plain
d---------
API
229
log
plain
-rw-r--r--
CHANGES
165172
log
plain
-rw-r--r--
COMPATIBILITY
8159
log
plain
-rw-r--r--
COPYRIGHT
744
log
plain
-rw-r--r--
CREDITS
6738
log
plain
-rw-r--r--
INSTALL
10939
log
plain
-rw-r--r--
INSTALL.doc
1947
log
plain
-rw-r--r--
INSTALL.ide
3717
log
plain
-rw-r--r--
LICENSE
24381
log
plain
-rw-r--r--
META.coq
5377
log
plain
-rw-r--r--
Makefile
11324
log
plain
-rw-r--r--
Makefile.build
26913
log
plain
-rw-r--r--
Makefile.checker
2626
log
plain
-rw-r--r--
Makefile.ci
504
log
plain
-rw-r--r--
Makefile.common
6997
log
plain
-rw-r--r--
Makefile.dev
6672
log
plain
-rw-r--r--
Makefile.doc
18440
log
plain
-rw-r--r--
Makefile.ide
9705
log
plain
-rw-r--r--
Makefile.install
5581
log
plain
-rw-r--r--
README.ci.md
3999
log
plain
-rw-r--r--
README.doc
645
log
plain
-rw-r--r--
README.md
2113
log
plain
-rw-r--r--
appveyor.yml
835
log
plain
d---------
checker
1676
log
plain
d---------
config
42
log
plain
-rwxr-xr-x
configure
944
log
plain
-rw-r--r--
configure.ml
43657
log
plain
d---------
dev
795
log
plain
d---------
doc
374
log
plain
d---------
engine
992
log
plain
d---------
grammar
240
log
plain
d---------
ide
3119
log
plain
-rwxr-xr-x
install.sh
238
log
plain
d---------
interp
1484
log
plain
d---------
intf
517
log
plain
d---------
kernel
3686
log
plain
d---------
lib
4281
log
plain
d---------
library
1630
log
plain
d---------
man
567
log
plain
d---------
parsing
651
log
plain
d---------
plugins
711
log
plain
d---------
pretyping
2605
log
plain
d---------
printing
589
log
plain
d---------
proofs
1293
log
plain
d---------
stm
1302
log
plain
d---------
tactics
1713
log
plain
d---------
test-suite
853
log
plain
d---------
theories
875
log
plain
d---------
tools
1390
log
plain
d---------
toplevel
419
log
plain
d---------
vernac
1758
log
plain