aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/proof-engine/proof-handling.rst
Commit message (Expand)AuthorAge
* Fixed many spelling and grammar errors in the chapters 'Vernacular commands',...Gravatar Zeimer2018-07-20
* Document nested proofs and associated option.Gravatar Théo Zimmermann2018-05-17
* [sphinx] Fix indentation at the end of proof handling chapter.Gravatar Théo Zimmermann2018-05-15
* Remove duplicate entries for Proof, Qed, Defined, Admitted.Gravatar Théo Zimmermann2018-05-14
* [sphinx] Improve proof handling chapter.Gravatar Théo Zimmermann2018-05-09
* Clarify that the description of coqtop does not reflect all user interfaces.Gravatar Théo Zimmermann2018-05-09
* [sphinx] Improvements around the Show commands, including missing indices and...Gravatar Théo Zimmermann2018-05-09
* [sphinx] Re-indent to get much better rendering.Gravatar Théo Zimmermann2018-05-05
* Clean-up around cmd documentation.Gravatar Théo Zimmermann2018-05-05
* Fix error messages and make them consistent.Gravatar Théo Zimmermann2018-05-05
* Clean-up around options.Gravatar Théo Zimmermann2018-05-05
* [sphinx] Fix some references.Gravatar Théo Zimmermann2018-05-05
* [sphinx] Backport fix of typo.Gravatar Théo Zimmermann2018-05-05
* [Sphinx] Clean-up indicesGravatar Maxime Dénès2018-04-16
* [Sphinx] Fix all remaining warnings.Gravatar Maxime Dénès2018-04-14
* [sphinx] Fix many warnings.Gravatar Théo Zimmermann2018-04-14
* [Sphinx] Add chapter 29Gravatar Maxime Dénès2018-04-12
* [Sphinx] Add chapter 7Gravatar Maxime Dénès2018-04-09
* [Sphinx] Move chapter 7 to new infrastructureGravatar Maxime Dénès2018-04-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 06:53:56 +0000