index
:
coq
master
v8.0
v8.1
v8.10
v8.11
v8.12
v8.13
v8.14
v8.15
v8.16
v8.17
v8.18
v8.19
v8.2
v8.3
v8.4
v8.5
v8.6
v8.7
v8.8
v8.9
El asistente de pruebas Coq
mirror
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Mode
Name
Size
-rw-r--r--
.cvsignore
48
log
plain
-rw-r--r--
.depend
146287
log
plain
-rw-r--r--
.depend.camlp4
929
log
plain
-rw-r--r--
.depend.coq
26066
log
plain
-rw-r--r--
ANNONCE
2915
log
plain
-rw-r--r--
CHANGES
20448
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
33727
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
12624
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
1665
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
575
log
plain
d---------
toplevel
1677
log
plain