index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
sphinx
/
language
/
extensions
Age
Commit message (
Expand
)
Author
2020-06-08
Convert Ltac chapter to prodn
Jim Fehrle
2020-05-16
Merge PR #8855: More search options
Emilio Jesus Gallego Arias
2020-05-15
Document new Search features.
Théo Zimmermann
2020-05-15
Fix typo.
Théo Zimmermann
2020-05-14
Fix title level and a build failure.
Théo Zimmermann
2020-05-14
Add some markers of origin.
Théo Zimmermann
2020-05-14
Reintroduce leftover parts; update index files; small fixes.
Théo Zimmermann
2020-05-14
Refactoring of the first part of the reference manual.
Théo Zimmermann
2020-05-14
Preserve Implicit arguments file.
Théo Zimmermann
2020-05-14
Remove Canonical structures from Implicit arguments.
Théo Zimmermann
2020-05-14
Merge doc on Canonical structures from two origins.
Théo Zimmermann
2020-05-14
Move Canonical structures file into new location.
Théo Zimmermann
2020-05-14
Add Canonical structure declarations to Canonical structures file.
Théo Zimmermann
2020-05-14
Extract Canonical structures from Implicit arguments.
Théo Zimmermann
2020-05-14
Split Gallina extensions into multiple files.
Théo Zimmermann
2020-05-14
Merge doc on extended pattern matching from two origins.
Théo Zimmermann
2020-05-14
Move extended pattern matching to new location.
Théo Zimmermann
2020-05-13
Add section on pattern matching from Gallina ext.
Théo Zimmermann
2020-05-13
New file on existential variables.
Théo Zimmermann
2020-05-01
Move essential vocabulary and syntax conventions to section on basics.
Théo Zimmermann
2020-04-26
Convert syntax extensions chapter to prodn
Jim Fehrle
2020-04-10
Convert vernac commands chapter to prodn, update syntax
Jim Fehrle
2020-04-03
Move section on implicit arguments in appropriate location (inside extensions).
Théo Zimmermann
2020-03-19
Adapt to sub-TOC not showing in PDF output.
Théo Zimmermann
2020-03-19
[refman] Move chapters into new structure.
Théo Zimmermann
