aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/proof-engine/detailed-tactic-examples.rst
Commit message (Expand)AuthorAge
* [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 10Gravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 10 to new infrastructureGravatar Maxime Dénès2018-03-15