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--
.gitignore
1513
log
plain
-rw-r--r--
CHANGES
83804
log
plain
-rw-r--r--
COMPATIBILITY
3029
log
plain
-rw-r--r--
COPYRIGHT
1314
log
plain
-rw-r--r--
CREDITS
6635
log
plain
-rwxr-xr-x
Coq.bat
159
log
plain
-rwxr-xr-x
Coqide.bat
156
log
plain
-rw-r--r--
INSTALL
12748
log
plain
-rw-r--r--
INSTALL.doc
1941
log
plain
-rw-r--r--
INSTALL.ide
4624
log
plain
-rw-r--r--
INSTALL.macosx
913
log
plain
-rw-r--r--
LICENSE
24381
log
plain
-rw-r--r--
Makefile
9206
log
plain
-rw-r--r--
Makefile.build
34414
log
plain
-rw-r--r--
Makefile.common
33923
log
plain
-rw-r--r--
Makefile.doc
11533
log
plain
-rw-r--r--
Makefile.stage1
1256
log
plain
-rw-r--r--
Makefile.stage2
699
log
plain
-rw-r--r--
Makefile.stage3
698
log
plain
-rw-r--r--
README
1830
log
plain
-rwxr-xr-x
README.doc
645
log
plain
-rw-r--r--
README.win
2265
log
plain
-rw-r--r--
TODO
1560
log
plain
d---------
checker
1336
log
plain
d---------
config
128
log
plain
-rwxr-xr-x
configure
31438
log
plain
d---------
contrib
571
log
plain
d---------
dev
593
log
plain
d---------
doc
337
log
plain
d---------
ide
1230
log
plain
-rwxr-xr-x
install.sh
144
log
plain
d---------
interp
1021
log
plain
d---------
kernel
2477
log
plain
d---------
lib
1625
log
plain
d---------
library
1366
log
plain
d---------
man
567
log
plain
d---------
parsing
2079
log
plain
d---------
pretyping
2097
log
plain
d---------
proofs
1030
log
plain
d---------
scripts
74
log
plain
d---------
states
85
log
plain
d---------
tactics
2053
log
plain
d---------
test-suite
555
log
plain
d---------
theories
664
log
plain
d---------
tools
601
log
plain
d---------
toplevel
1847
log
plain