aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/proof-engine/vernacular-commands.rst
AgeCommit message (Expand)Author
2018-05-09[sphinx] Fix new warnings related to tacn, cmd, opt...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-05Remove duplicate Extraction commands documentation.Théo Zimmermann
2018-05-05[sphinx] Use references for Print.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-04-16Merge PR #7270: Sphinx doc fix indicesMaxime Dénès
2018-04-16[Sphinx] Clean-up indicesMaxime Dénès
2018-04-16Merge PR #7264: [Sphinx] Fix a lot of references and description of optionsMaxime Dénès
2018-04-16[Sphinx] Fix a lot of references and description of optionsMaxime Dénès
2018-04-16Document the Export Set/Unset commands.Pierre-Marie Pédrot
2018-04-14[Sphinx] Fix all remaining warnings.Maxime Dénès
2018-04-14[sphinx] Fix many warnings.Théo Zimmermann
2018-04-10[Sphinx] Add chapter 6Maxime Dénès
2018-04-10[Sphinx] Move chapter 6 to new infrastructureMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 15:03:01 +0000