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--
.depend
264785
log
plain
-rw-r--r--
.depend.camlp4
1925
log
plain
-rw-r--r--
.depend.coq
62300
log
plain
-rw-r--r--
CHANGES
51356
log
plain
-rw-r--r--
COMPATIBILITY
1418
log
plain
-rw-r--r--
COPYRIGHT
1383
log
plain
-rw-r--r--
CREDITS
5515
log
plain
-rwxr-xr-x
Coq.bat
159
log
plain
-rwxr-xr-x
Coqide.bat
156
log
plain
-rw-r--r--
INSTALL
9222
log
plain
-rw-r--r--
INSTALL.ide
3034
log
plain
-rw-r--r--
INSTALL.macosx
633
log
plain
-rw-r--r--
INSTALL.win
2071
log
plain
-rw-r--r--
KNOWN-BUGS
681
log
plain
-rw-r--r--
LICENSE
24381
log
plain
-rw-r--r--
Makefile
60087
log
plain
-rw-r--r--
Makefile.dep
750
log
plain
-rw-r--r--
PROBLEMES
2216
log
plain
-rw-r--r--
README
1876
log
plain
-rw-r--r--
README.win
1281
log
plain
-rw-r--r--
TODO
1558
log
plain
d---------
config
128
log
plain
-rwxr-xr-x
configure
20260
log
plain
d---------
contrib
603
log
plain
d---------
dev
521
log
plain
d---------
doc
442
log
plain
d---------
ide
1256
log
plain
d---------
interp
839
log
plain
d---------
kernel
2386
log
plain
d---------
lib
1479
log
plain
d---------
library
1178
log
plain
-rw-r--r--
make.result
30
log
plain
d---------
man
491
log
plain
d---------
parsing
2125
log
plain
d---------
pretyping
1913
log
plain
d---------
proofs
1030
log
plain
d---------
scripts
74
log
plain
d---------
states
85
log
plain
d---------
tactics
2099
log
plain
d---------
test-suite
345
log
plain
d---------
theories
591
log
plain
d---------
tools
557
log
plain
d---------
toplevel
1673
log
plain