aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/proof-engine/ltac.rst
AgeCommit message (Expand)Author
2018-07-20Small improvements suggested in comments to PR #8086.Zeimer
2018-07-20Improved chapter 'The tactic language' of the Reference Manual.Zeimer
2018-07-10fixed typo for assert_suceedcharguer
2018-05-25[doc] Allow more than one signature and name per Sphinx objectClément Pit-Claudel
2018-05-09[sphinx] Fix new warnings related to tacn, cmd, opt...Théo Zimmermann
2018-05-05[sphinx] Add indices for only, all and par.Théo Zimmermann
2018-05-05Clean-up around cmd documentation.Théo Zimmermann
2018-05-05[sphinx] Replace remaining `@natural` by `@num`.Théo Zimmermann
2018-05-05[sphinx] Use references for command Info.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-04-29Strict focusing using Default Goal Selector.Gaëtan Gilbert
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] Add chapter 9.Théo Zimmermann
2018-04-14[Sphinx] Move chapter 9 to new infrastructure.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 15:43:55 +0000