aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/doc
ModeNameSize
-rw-r--r--COMPATIBILITY8249logplain
-rw-r--r--MERGING.md5754logplain
-rw-r--r--README-V1-V5.asciidoc17675logplain
-rw-r--r--about-hints10721logplain
-rw-r--r--build-system.dev.txt5137logplain
-rw-r--r--build-system.txt5537logplain
-rw-r--r--changes.md49635logplain
-rw-r--r--cic.dtd5563logplain
-rw-r--r--coq-src-description.txt2099logplain
-rw-r--r--debugging.md4682logplain
-rw-r--r--drop.txt1379logplain
-rw-r--r--econstr.md5635logplain
-rw-r--r--extensions.txt723logplain
-rw-r--r--minicoq.tex2947logplain
-rw-r--r--naming-conventions.tex22808logplain
-rw-r--r--newsyntax.tex24842logplain
-rw-r--r--notes-on-conversion.v2574logplain
-rw-r--r--ocamlbuild.txt1435logplain
-rw-r--r--old_svn_branches.txt1345logplain
-rw-r--r--perf-analysis5715logplain
-rw-r--r--profiling.txt1880logplain
-rw-r--r--proof-engine.md7285logplain
-rw-r--r--release-process.md4938logplain
-rw-r--r--setup.txt8728logplain
-rw-r--r--style.txt6287logplain
-rw-r--r--transition-V5.10-V6310logplain
-rw-r--r--transition-V6-V7395logplain
-rw-r--r--translate.txt16039logplain
-rw-r--r--unification.txt5269logplain
-rw-r--r--universes.txt634logplain
-rw-r--r--univpoly.txt13381logplain
-rw-r--r--versions-history.tex14447logplain
-rw-r--r--xml-protocol.md22465logplain