aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/proof-engine/ltac.rst
Commit message (Expand)AuthorAge
* Small improvements suggested in comments to PR #8086.Gravatar Zeimer2018-07-20
* Improved chapter 'The tactic language' of the Reference Manual.Gravatar Zeimer2018-07-20
* fixed typo for assert_suceedGravatar charguer2018-07-10
* [doc] Allow more than one signature and name per Sphinx objectGravatar Clément Pit-Claudel2018-05-25
* [sphinx] Fix new warnings related to tacn, cmd, opt...Gravatar Théo Zimmermann2018-05-09
* [sphinx] Add indices for only, all and par.Gravatar Théo Zimmermann2018-05-05
* Clean-up around cmd documentation.Gravatar Théo Zimmermann2018-05-05
* [sphinx] Replace remaining `@natural` by `@num`.Gravatar Théo Zimmermann2018-05-05
* [sphinx] Use references for command Info.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
* Strict focusing using Default Goal Selector.Gravatar Gaëtan Gilbert2018-04-29
* [Sphinx] Clean-up indicesGravatar Maxime Dénès2018-04-16
* [Sphinx] Fix all remaining warnings.Gravatar Maxime Dénès2018-04-14
* [Sphinx] Add chapter 9.Gravatar Théo Zimmermann2018-04-14
* [Sphinx] Move chapter 9 to new infrastructure.Gravatar Théo Zimmermann2018-04-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-15 19:24:56 +0000