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--
CHANGES
78315
log
plain
-rw-r--r--
COMPATIBILITY
2576
log
plain
-rw-r--r--
COPYRIGHT
1756
log
plain
-rw-r--r--
CREDITS
6363
log
plain
-rwxr-xr-x
Coq.bat
159
log
plain
-rwxr-xr-x
Coqide.bat
156
log
plain
-rw-r--r--
INSTALL
11306
log
plain
-rw-r--r--
INSTALL.doc
1688
log
plain
-rw-r--r--
INSTALL.ide
4624
log
plain
-rw-r--r--
INSTALL.macosx
850
log
plain
-rw-r--r--
KNOWN-BUGS
681
log
plain
-rw-r--r--
LICENSE
24381
log
plain
-rw-r--r--
Makefile
8773
log
plain
-rw-r--r--
Makefile.build
32089
log
plain
-rw-r--r--
Makefile.common
33387
log
plain
-rw-r--r--
Makefile.doc
9277
log
plain
-rw-r--r--
Makefile.stage1
1256
log
plain
-rw-r--r--
Makefile.stage2
699
log
plain
-rw-r--r--
Makefile.stage3
698
log
plain
-rw-r--r--
PROBLEMES
2216
log
plain
-rw-r--r--
README
1840
log
plain
-rwxr-xr-x
README.doc
645
log
plain
-rw-r--r--
README.win
1835
log
plain
-rw-r--r--
TODO
1560
log
plain
d---------
checker
1301
log
plain
d---------
config
128
log
plain
-rwxr-xr-x
configure
27906
log
plain
d---------
contrib
605
log
plain
d---------
dev
593
log
plain
d---------
doc
337
log
plain
d---------
ide
1180
log
plain
d---------
interp
1021
log
plain
d---------
kernel
2477
log
plain
d---------
lib
1550
log
plain
d---------
library
1366
log
plain
d---------
man
491
log
plain
d---------
parsing
2079
log
plain
d---------
pretyping
2097
log
plain
d---------
proofs
1030
log
plain
d---------
scripts
74
log
plain
d---------
states
85
log
plain
d---------
tactics
2144
log
plain
d---------
test-suite
555
log
plain
d---------
theories
664
log
plain
d---------
tools
557
log
plain
d---------
toplevel
1847
log
plain