aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/proof-engine/vernacular-commands.rst
Commit message (Expand)AuthorAge
* [sphinx] Fix new warnings related to tacn, cmd, opt...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
* Remove duplicate Extraction commands documentation.Gravatar Théo Zimmermann2018-05-05
* [sphinx] Use references for Print.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
* Merge PR #7270: Sphinx doc fix indicesGravatar Maxime Dénès2018-04-16
|\
| * [Sphinx] Clean-up indicesGravatar Maxime Dénès2018-04-16
* | Merge PR #7264: [Sphinx] Fix a lot of references and description of optionsGravatar Maxime Dénès2018-04-16
|\|
| * [Sphinx] Fix a lot of references and description of optionsGravatar Maxime Dénès2018-04-16
* | Document the Export Set/Unset commands.Gravatar Pierre-Marie Pédrot2018-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 6Gravatar Maxime Dénès2018-04-10
* [Sphinx] Move chapter 6 to new infrastructureGravatar Maxime Dénès2018-04-10