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
38
log
plain
-rw-r--r--
.depend
91555
log
plain
-rw-r--r--
.depend.camlp4
542
log
plain
-rw-r--r--
.depend.coq
35491
log
plain
-rw-r--r--
ANNONCE
1795
log
plain
-rw-r--r--
CHANGEMENTS
7667
log
plain
-rw-r--r--
CHANGES
1273
log
plain
-rw-r--r--
CREDITS
3492
log
plain
-rw-r--r--
INSTALL
9365
log
plain
-rw-r--r--
KNOWN-BUGS
718
log
plain
-rw-r--r--
LICENSE
26430
log
plain
-rw-r--r--
Makefile
24163
log
plain
-rw-r--r--
Makefile.dep
721
log
plain
-rw-r--r--
PROBLEMES
4418
log
plain
-rw-r--r--
README
2044
log
plain
-rw-r--r--
TODO
1054
log
plain
d---------
bin
38
log
plain
d---------
config
125
log
plain
-rwxr-xr-x
configure
13317
log
plain
d---------
contrib
130
log
plain
d---------
dev
499
log
plain
d---------
distrib
269
log
plain
d---------
doc
523
log
plain
d---------
kernel
1356
log
plain
d---------
lib
1284
log
plain
d---------
library
874
log
plain
d---------
parsing
1625
log
plain
d---------
pretyping
1331
log
plain
d---------
proofs
868
log
plain
d---------
scripts
112
log
plain
d---------
states
79
log
plain
d---------
syntax
151
log
plain
d---------
tactics
1783
log
plain
d---------
test-suite
200
log
plain
d---------
theories
358
log
plain
d---------
tools
599
log
plain
d---------
toplevel
1675
log
plain