index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
sphinx
/
proof-engine
/
proof-handling.rst
Commit message (
Expand
)
Author
Age
*
Fixed many spelling and grammar errors in the chapters 'Vernacular commands',...
Zeimer
2018-07-20
*
Document nested proofs and associated option.
Théo Zimmermann
2018-05-17
*
[sphinx] Fix indentation at the end of proof handling chapter.
Théo Zimmermann
2018-05-15
*
Remove duplicate entries for Proof, Qed, Defined, Admitted.
Théo Zimmermann
2018-05-14
*
[sphinx] Improve proof handling chapter.
Théo Zimmermann
2018-05-09
*
Clarify that the description of coqtop does not reflect all user interfaces.
Théo Zimmermann
2018-05-09
*
[sphinx] Improvements around the Show commands, including missing indices and...
Théo Zimmermann
2018-05-09
*
[sphinx] Re-indent to get much better rendering.
Théo Zimmermann
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-05-05
*
Clean-up around options.
Théo Zimmermann
2018-05-05
*
[sphinx] Fix some references.
Théo Zimmermann
2018-05-05
*
[sphinx] Backport fix of typo.
Théo Zimmermann
2018-05-05
*
[Sphinx] Clean-up indices
Maxime Dénès
2018-04-16
*
[Sphinx] Fix all remaining warnings.
Maxime Dénès
2018-04-14
*
[sphinx] Fix many warnings.
Théo Zimmermann
2018-04-14
*
[Sphinx] Add chapter 29
Maxime Dénès
2018-04-12
*
[Sphinx] Add chapter 7
Maxime Dénès
2018-04-09
*
[Sphinx] Move chapter 7 to new infrastructure
Maxime Dénès
2018-04-09