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--
.cvsignore
94
log
plain
-rw-r--r--
.depend
218420
log
plain
-rw-r--r--
.depend.camlp4
1631
log
plain
-rw-r--r--
.depend.coq
45488
log
plain
-rw-r--r--
.depend.newcoq
50373
log
plain
-rw-r--r--
ANNONCE
1338
log
plain
-rw-r--r--
CHANGES
33395
log
plain
-rw-r--r--
CREDITS
4322
log
plain
-rw-r--r--
INSTALL
9209
log
plain
-rw-r--r--
INSTALL.ide
2968
log
plain
-rw-r--r--
INSTALL.macosx
599
log
plain
-rw-r--r--
INSTALL.win
2071
log
plain
-rw-r--r--
KNOWN-BUGS
681
log
plain
-rw-r--r--
LICENSE
26430
log
plain
-rw-r--r--
Makefile
47582
log
plain
-rw-r--r--
Makefile.dep
721
log
plain
-rw-r--r--
PROBLEMES
2216
log
plain
-rw-r--r--
README
1926
log
plain
-rw-r--r--
README.win
1281
log
plain
-rw-r--r--
TODO
1278
log
plain
d---------
bin
38
log
plain
d---------
config
166
log
plain
-rwxr-xr-x
configure
12434
log
plain
d---------
contrib
508
log
plain
d---------
dev
898
log
plain
d---------
distrib
329
log
plain
d---------
doc
828
log
plain
d---------
ide
1161
log
plain
d---------
interp
837
log
plain
d---------
kernel
1688
log
plain
d---------
lib
1516
log
plain
d---------
library
1178
log
plain
d---------
man
460
log
plain
d---------
parsing
2335
log
plain
d---------
pretyping
1767
log
plain
d---------
proofs
825
log
plain
d---------
scripts
112
log
plain
d---------
states
123
log
plain
d---------
syntax
113
log
plain
d---------
tactics
1869
log
plain
d---------
test-suite
341
log
plain
d---------
theories
459
log
plain
d---------
tools
764
log
plain
d---------
toplevel
1718
log
plain
d---------
translate
255
log
plain