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--
README-V1-V5.asciidoc
17675
log
plain
-rw-r--r--
about-hints
10721
log
plain
-rw-r--r--
build-system.dev.txt
5147
log
plain
-rw-r--r--
build-system.txt
5454
log
plain
-rw-r--r--
changes.txt
40281
log
plain
-rw-r--r--
cic.dtd
5562
log
plain
-rw-r--r--
coq-src-description.txt
2389
log
plain
-rw-r--r--
debugging.txt
2865
log
plain
-rw-r--r--
drop.txt
1379
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
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--
setup.txt
9359
log
plain
-rw-r--r--
style.txt
1638
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
13382
log
plain
-rw-r--r--
versions-history.tex
13807
log
plain
-rw-r--r--
xml-protocol.md
22100
log
plain