aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/proof-engine
Commit message (Expand)AuthorAge
* [Sphinx] Add chapter 9.Gravatar Théo Zimmermann2018-04-14
* [Sphinx] Move chapter 9 to new infrastructure.Gravatar Théo Zimmermann2018-04-14
* Merge PR #7117: Sphinx doc chapter 29Gravatar Théo Zimmermann2018-04-13
|\
| * [Sphinx] Add chapter 29Gravatar Maxime Dénès2018-04-12
* | [sphinx] Remove migration artefacts.Gravatar Théo Zimmermann2018-04-11
|/
* Merge PR #6955: Fixed many typos and grammar errors in chapter 11 of the manual.Gravatar Maxime Dénès2018-04-11
|\
* | [Sphinx] Add chapter 6Gravatar Maxime Dénès2018-04-10
* | [Sphinx] Move chapter 6 to new infrastructureGravatar Maxime Dénès2018-04-10
* | Merge PR #7162: Sphinx doc chapter 7Gravatar Théo Zimmermann2018-04-09
|\ \
| * | [Sphinx] Add chapter 7Gravatar Maxime Dénès2018-04-09
| * | [Sphinx] Move chapter 7 to new infrastructureGravatar Maxime Dénès2018-04-09
| | * Fixed many typos and grammar errors in chapter 11 of the manual.Gravatar Zeimer2018-04-06
| |/
* / Clarify wording in tactics documentation.Gravatar Théo Zimmermann2018-03-25
|/
* [Sphinx] Add chapter 11Gravatar Maxime Dénès2018-03-16
* [Sphinx] Add chapter 10Gravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 10 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Add chapter 8Gravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 8 to new infrastructureGravatar Maxime Dénès2018-03-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 10:12:05 +0000