index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
/
doc
Mode
Name
Size
-rw-r--r--
COMPATIBILITY
8249
log
plain
-rw-r--r--
MERGING.md
5150
log
plain
-rw-r--r--
README-V1-V5.asciidoc
17675
log
plain
-rw-r--r--
about-hints
10721
log
plain
-rw-r--r--
build-system.dev.txt
5137
log
plain
-rw-r--r--
build-system.txt
5537
log
plain
-rw-r--r--
changes.md
47992
log
plain
-rw-r--r--
cic.dtd
5563
log
plain
-rw-r--r--
coq-src-description.txt
2285
log
plain
-rw-r--r--
debugging.md
4651
log
plain
-rw-r--r--
drop.txt
1379
log
plain
-rw-r--r--
econstr.md
5635
log
plain
-rw-r--r--
extensions.txt
723
log
plain
-rw-r--r--
minicoq.tex
2947
log
plain
-rw-r--r--
naming-conventions.tex
22808
log
plain
-rw-r--r--
newsyntax.tex
24842
log
plain
-rw-r--r--
notes-on-conversion.v
2574
log
plain
-rw-r--r--
ocamlbuild.txt
1435
log
plain
-rw-r--r--
old_svn_branches.txt
1345
log
plain
-rw-r--r--
perf-analysis
5715
log
plain
-rw-r--r--
profiling.txt
1880
log
plain
-rw-r--r--
proof-engine.md
7285
log
plain
-rw-r--r--
setup.txt
8728
log
plain
-rw-r--r--
style.txt
6287
log
plain
-rw-r--r--
transition-V5.10-V6
310
log
plain
-rw-r--r--
transition-V6-V7
395
log
plain
-rw-r--r--
translate.txt
16039
log
plain
-rw-r--r--
unification.txt
5269
log
plain
-rw-r--r--
universes.txt
634
log
plain
-rw-r--r--
univpoly.txt
13381
log
plain
-rw-r--r--
versions-history.tex
14447
log
plain
-rw-r--r--
xml-protocol.md
22465
log
plain