index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Mode
Name
Size
-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
9189
log
plain
-rw-r--r--
Makefile.build
34354
log
plain
-rw-r--r--
Makefile.common
33907
log
plain
-rw-r--r--
Makefile.doc
11534
log
plain
-rw-r--r--
Makefile.stage1
1280
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
d---------
checker
1336
log
plain
d---------
config
128
log
plain
-rwxr-xr-x
configure
31408
log
plain
d---------
contrib
571
log
plain
d---------
debian
1438
log
plain
d---------
dev
593
log
plain
d---------
doc
140
log
plain
d---------
ide
1230
log
plain
-rwxr-xr-x
install.sh
146
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
522
log
plain
d---------
theories
664
log
plain
d---------
tools
601
log
plain
d---------
toplevel
1847
log
plain