aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/proof-engine/proof-handling.rst
AgeCommit message (Expand)Author
2018-07-20Fixed many spelling and grammar errors in the chapters 'Vernacular commands',...Zeimer
2018-05-17Document nested proofs and associated option.Théo Zimmermann
2018-05-15[sphinx] Fix indentation at the end of proof handling chapter.Théo Zimmermann
2018-05-14Remove duplicate entries for Proof, Qed, Defined, Admitted.Théo Zimmermann
2018-05-09[sphinx] Improve proof handling chapter.Théo Zimmermann
2018-05-09Clarify 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-05[sphinx] Re-indent to get much better rendering.Théo Zimmermann
2018-05-05Clean-up around cmd documentation.Théo Zimmermann
2018-05-05Fix error messages and make them consistent.Théo Zimmermann
2018-05-05Clean-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-04-16[Sphinx] Clean-up indicesMaxime 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-04-12[Sphinx] Add chapter 29Maxime Dénès
2018-04-09[Sphinx] Add chapter 7Maxime Dénès
2018-04-09[Sphinx] Move chapter 7 to new infrastructureMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 21:49:55 +0000