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
48
log
plain
-rw-r--r--
.depend
146790
log
plain
-rw-r--r--
.depend.camlp4
929
log
plain
-rw-r--r--
.depend.coq
25949
log
plain
-rw-r--r--
ANNONCE
1480
log
plain
-rw-r--r--
CHANGES
17135
log
plain
-rw-r--r--
CREDITS
4322
log
plain
-rw-r--r--
INSTALL
9206
log
plain
-rw-r--r--
INSTALL.macosx
819
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
33705
log
plain
-rw-r--r--
Makefile.dep
721
log
plain
-rw-r--r--
PROBLEMES
2216
log
plain
-rw-r--r--
README
1918
log
plain
-rw-r--r--
README.win
1351
log
plain
-rw-r--r--
TODO
1244
log
plain
d---------
bin
38
log
plain
d---------
config
166
log
plain
-rwxr-xr-x
configure
12628
log
plain
d---------
contrib
370
log
plain
d---------
dev
651
log
plain
d---------
distrib
295
log
plain
d---------
doc
564
log
plain
d---------
kernel
1287
log
plain
d---------
lib
1439
log
plain
d---------
library
876
log
plain
d---------
man
460
log
plain
d---------
parsing
1702
log
plain
d---------
pretyping
1811
log
plain
d---------
proofs
868
log
plain
d---------
scripts
112
log
plain
d---------
states
79
log
plain
d---------
syntax
151
log
plain
d---------
tactics
1918
log
plain
d---------
test-suite
274
log
plain
d---------
theories
459
log
plain
d---------
tools
532
log
plain
d---------
toplevel
1677
log
plain