index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
sphinx
/
addendum
/
program.rst
Age
Commit message (
Expand
)
Author
2018-09-20
Rewrite "Flags, Options and Tables" section.
Jim Fehrle
2018-09-20
[doc] Include the rst and LaTeX preambles automatically in all files
Clément Pit-Claudel
2018-09-20
[doc] Remove an empty '.. bibliography::' in addendum/program
Clément Pit-Claudel
2018-08-31
Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...
Zeimer
2018-08-01
Merge PR #8192: Fix typos and typesetting of doc on Program
Théo Zimmermann
2018-07-30
Fix typos and typesetting of doc on Program
Lysxia
2018-07-29
Improved grammar and spelling in chapters 'Extraction', 'Program' and 'ring a...
Zeimer
2018-05-05
Clean-up around cmd documentation.
Théo Zimmermann
2018-05-05
Fix error messages and make them consistent.
Théo Zimmermann
2018-04-16
[Sphinx] Clean-up indices
Maxime Dénès
2018-04-14
[Sphinx] Fix all remaining warnings.
Maxime Dénès
2018-04-14
[sphinx] Fix many warnings.
Théo Zimmermann
2018-03-29
[Sphinx] Add chapter 24
Maxime Dénès
2018-03-29
[Sphinx] Move chapter 24 to new infrastructure
Maxime Dénès