aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/addendum
Commit message (Expand)AuthorAge
* Fix error messages and make them consistent.Gravatar Théo Zimmermann2018-05-05
* Clean-up around options.Gravatar Théo Zimmermann2018-05-05
* Fix failing example in refman.Gravatar Théo Zimmermann2018-05-05
* [sphinx] Fix some references.Gravatar Théo Zimmermann2018-05-05
* [sphinx] Use option direct reference.Gravatar Théo Zimmermann2018-05-05
* Fix typo in Coercions chapter.Gravatar Théo Zimmermann2018-05-05
* [Sphinx] Clean-up indicesGravatar Maxime Dénès2018-04-16
* [Sphinx] Fix a lot of references and description of optionsGravatar Maxime Dénès2018-04-16
* [Sphinx] Fix all remaining warnings.Gravatar Maxime Dénès2018-04-14
* [sphinx] Fix many warnings.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
| * [Sphinx] Move chapter 29 to new infrastructureGravatar Maxime Dénès2018-04-11
|/
* [Sphinx] Add chapter 30Gravatar Maxime Dénès2018-04-05
* [Sphinx] Move chapter 30 to new infrastructureGravatar Maxime Dénès2018-04-05
* [Sphinx] Add chapter 28Gravatar Maxime Dénès2018-04-04
* [Sphinx] Move chapter 28 to new infrastructureGravatar Maxime Dénès2018-04-04
* [Sphinx] Add chapter 27Gravatar Maxime Dénès2018-03-30
* [Sphinx] Move chapter 27 to new infrastructureGravatar Maxime Dénès2018-03-30
* [Sphinx] Add chapter 25Gravatar Maxime Dénès2018-03-30
* [Sphinx] Move chapter 25 to new infrastructureGravatar Maxime Dénès2018-03-30
* [Sphinx] Add chapter 26Gravatar Maxime Dénès2018-03-29
* [Sphinx] Move chapter 26 to new infrastructureGravatar Maxime Dénès2018-03-29
* [Sphinx] Add chapter 24Gravatar Maxime Dénès2018-03-29
* [Sphinx] Move chapter 24 to new infrastructureGravatar Maxime Dénès2018-03-29
* [Sphinx] Add chapter 23Gravatar Maxime Dénès2018-03-29
* [Sphinx] Move chapter 23 to new infrastructureGravatar Maxime Dénès2018-03-29
* [Sphinx] Add chapter 18Gravatar Maxime Dénès2018-03-29
* [Sphinx] Move chapter 18 to new infrastructureGravatar Maxime Dénès2018-03-29
* [doc] Port Chapter 20 Type Classes to SphinxGravatar Matthieu Sozeau2018-03-26
* Move Classes.tex to type-classes.rstGravatar Matthieu Sozeau2018-03-26
* Merge branch 'master' into sphinx-doc-chapter-22Gravatar Guillaume Melquiond2018-03-22
|\
| * Merge branch 'master' into sphinx-doc-chapter-21Gravatar Guillaume Melquiond2018-03-22
| |\
| | * Merge branch 'master' into sphinx-doc-chapter-19Gravatar Guillaume Melquiond2018-03-22
| | |\
* | | | [Sphinx] Add chapter 22Gravatar Maxime Dénès2018-03-22
* | | | [Sphinx] Move chapter 22 to new infrastructureGravatar Maxime Dénès2018-03-22
/ / /
* | | [Sphinx] Add chapter 21Gravatar Maxime Dénès2018-03-22
* | | [Sphinx] Move chapter 21 to new infrastructureGravatar Maxime Dénès2018-03-22
/ /
* | [Sphinx] Add chapter 19Gravatar Maxime Dénès2018-03-22
* | [Sphinx] Move chapter 19 to new infrastructureGravatar Maxime Dénès2018-03-22
/
* [Sphinx] Add chapter 17Gravatar Maxime Dénès2018-03-22
* [Sphinx] Move chapter 17 to new infrastructureGravatar Maxime Dénès2018-03-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-22 20:03:32 +0000