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--
.bintray.json
344
log
plain
d---------
.circleci
38
log
plain
-rw-r--r--
.gitattributes
2150
log
plain
d---------
.github
135
log
plain
-rw-r--r--
.gitignore
3384
log
plain
-rw-r--r--
.gitlab-ci.yml
7558
log
plain
-rw-r--r--
.mailmap
10407
log
plain
-rw-r--r--
.merlin
555
log
plain
-rw-r--r--
.travis.yml
9087
log
plain
-rw-r--r--
CHANGES
180367
log
plain
-rw-r--r--
CONTRIBUTING.md
8224
log
plain
-rw-r--r--
CREDITS
8064
log
plain
-rw-r--r--
INSTALL
12590
log
plain
-rw-r--r--
INSTALL.doc
2279
log
plain
-rw-r--r--
INSTALL.ide
3708
log
plain
-rw-r--r--
LICENSE
24381
log
plain
-rw-r--r--
META.coq
10608
log
plain
-rw-r--r--
Makefile
12743
log
plain
-rw-r--r--
Makefile.build
28061
log
plain
-rw-r--r--
Makefile.checker
3149
log
plain
-rw-r--r--
Makefile.ci
1439
log
plain
-rw-r--r--
Makefile.common
7085
log
plain
-rw-r--r--
Makefile.dev
6808
log
plain
-rw-r--r--
Makefile.doc
17899
log
plain
-rw-r--r--
Makefile.ide
9583
log
plain
-rw-r--r--
Makefile.install
5984
log
plain
-rw-r--r--
README.md
2699
log
plain
-rw-r--r--
appveyor.yml
492
log
plain
d---------
checker
1941
log
plain
d---------
clib
2648
log
plain
d---------
config
42
log
plain
-rwxr-xr-x
configure
944
log
plain
-rw-r--r--
configure.ml
49593
log
plain
-rw-r--r--
default.nix
2314
log
plain
d---------
dev
1062
log
plain
d---------
doc
309
log
plain
d---------
engine
1065
log
plain
d---------
grammar
202
log
plain
d---------
ide
3646
log
plain
-rwxr-xr-x
install.sh
248
log
plain
d---------
interp
1604
log
plain
d---------
intf
478
log
plain
d---------
kernel
3882
log
plain
d---------
lib
1864
log
plain
d---------
library
1476
log
plain
d---------
man
529
log
plain
d---------
parsing
571
log
plain
d---------
plugins
669
log
plain
d---------
pretyping
2907
log
plain
d---------
printing
589
log
plain
d---------
proofs
1208
log
plain
d---------
stm
1302
log
plain
d---------
tactics
1713
log
plain
d---------
test-suite
922
log
plain
d---------
theories
833
log
plain
d---------
tools
1388
log
plain
d---------
toplevel
629
log
plain
d---------
vernac
2219
log
plain