package info
(click to toggle)
Folder: doc
 |
.. (parent) | |||
 |
- | rw-r--r-- | 17,675 | README-V1-V5.asciidoc |
|
- | rw-r--r-- | 10,721 | about-hints |
|
- | rw-r--r-- | 5,147 | build-system.dev.txt |
|
- | rw-r--r-- | 5,454 | build-system.txt |
|
- | rw-r--r-- | 40,281 | changes.txt |
|
- | rw-r--r-- | 5,562 | cic.dtd |
|
- | rw-r--r-- | 2,389 | coq-src-description.txt |
|
- | rw-r--r-- | 2,865 | debugging.txt |
|
- | rw-r--r-- | 1,379 | drop.txt |
|
- | rw-r--r-- | 723 | extensions.txt |
|
- | rw-r--r-- | 2,947 | minicoq.tex |
|
- | rw-r--r-- | 22,808 | naming-conventions.tex |
|
- | rw-r--r-- | 24,842 | newsyntax.tex |
|
- | rw-r--r-- | 2,574 | notes-on-conversion |
|
- | rw-r--r-- | 1,435 | ocamlbuild.txt |
|
- | rw-r--r-- | 1,345 | old_svn_branches.txt |
|
- | rw-r--r-- | 5,715 | perf-analysis |
|
- | rw-r--r-- | 1,880 | profiling.txt |
|
- | rw-r--r-- | 9,359 | setup.txt |
|
- | rw-r--r-- | 1,638 | style.txt |
|
- | rw-r--r-- | 310 | transition-V5.10-V6 |
|
- | rw-r--r-- | 395 | transition-V6-V7 |
|
- | rw-r--r-- | 16,039 | translate.txt |
|
- | rw-r--r-- | 5,269 | unification.txt |
|
- | rw-r--r-- | 634 | universes.txt |
|
- | rw-r--r-- | 13,382 | univpoly.txt |
|
- | rw-r--r-- | 13,807 | versions-history.tex |