aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/proof-engine/vernacular-commands.rst
AgeCommit message (Expand)Author
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-27 17:44:24 +0000