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--
.gitignore
2708
log
plain
-rw-r--r--
.mailmap
8136
log
plain
-rw-r--r--
.merlin
334
log
plain
-rw-r--r--
CHANGES
129777
log
plain
-rw-r--r--
COMPATIBILITY
3762
log
plain
-rw-r--r--
COPYRIGHT
662
log
plain
-rw-r--r--
CREDITS
7032
log
plain
-rw-r--r--
INSTALL
11061
log
plain
-rw-r--r--
INSTALL.doc
1941
log
plain
-rw-r--r--
INSTALL.ide
4466
log
plain
-rw-r--r--
INSTALL.macosx
850
log
plain
-rw-r--r--
LICENSE
24381
log
plain
-rw-r--r--
Makefile
10737
log
plain
-rw-r--r--
Makefile.build
37543
log
plain
-rw-r--r--
Makefile.common
13059
log
plain
-rw-r--r--
Makefile.doc
13432
log
plain
-rw-r--r--
README
1614
log
plain
-rwxr-xr-x
README.doc
645
log
plain
-rw-r--r--
README.win
2035
log
plain
-rw-r--r--
TODO
1560
log
plain
-rw-r--r--
_tags
2005
log
plain
-rwxr-xr-x
build
533
log
plain
d---------
checker
1635
log
plain
d---------
config
42
log
plain
-rwxr-xr-x
configure
932
log
plain
-rw-r--r--
configure.ml
40055
log
plain
-rw-r--r--
coq-win32.itarget
39
log
plain
-rw-r--r--
coq.itarget
223
log
plain
d---------
dev
802
log
plain
d---------
doc
337
log
plain
d---------
grammar
323
log
plain
d---------
ide
2642
log
plain
-rwxr-xr-x
install.sh
142
log
plain
d---------
interp
1486
log
plain
d---------
intf
490
log
plain
d---------
kernel
3698
log
plain
d---------
lib
4403
log
plain
d---------
library
1727
log
plain
d---------
man
567
log
plain
-rw-r--r--
myocamlbuild.ml
16265
log
plain
d---------
parsing
803
log
plain
d---------
plugins
798
log
plain
d---------
pretyping
2822
log
plain
d---------
printing
749
log
plain
d---------
proofs
1353
log
plain
d---------
stm
1094
log
plain
d---------
tactics
2875
log
plain
d---------
test-suite
691
log
plain
d---------
theories
844
log
plain
d---------
tools
1299
log
plain
d---------
toplevel
1932
log
plain