aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/addendum
AgeCommit message (Expand)Author
2018-03-30[Sphinx] Move chapter 25 to new infrastructureMaxime Dénès
2018-03-29[Sphinx] Add chapter 26Maxime Dénès
2018-03-29[Sphinx] Move chapter 26 to new infrastructureMaxime Dénès
2018-03-29[Sphinx] Add chapter 24Maxime Dénès
2018-03-29[Sphinx] Move chapter 24 to new infrastructureMaxime Dénès
2018-03-29[Sphinx] Add chapter 23Maxime Dénès
2018-03-29[Sphinx] Move chapter 23 to new infrastructureMaxime Dénès
2018-03-29[Sphinx] Add chapter 18Maxime Dénès
2018-03-29[Sphinx] Move chapter 18 to new infrastructureMaxime Dénès
2018-03-26[doc] Port Chapter 20 Type Classes to SphinxMatthieu Sozeau
2018-03-26Move Classes.tex to type-classes.rstMatthieu Sozeau
2018-03-22Merge branch 'master' into sphinx-doc-chapter-22Guillaume Melquiond
2018-03-22Merge branch 'master' into sphinx-doc-chapter-21Guillaume Melquiond
2018-03-22Merge branch 'master' into sphinx-doc-chapter-19Guillaume Melquiond
2018-03-22[Sphinx] Add chapter 22Maxime Dénès
2018-03-22[Sphinx] Move chapter 22 to new infrastructureMaxime Dénès
2018-03-22[Sphinx] Add chapter 21Maxime Dénès
2018-03-22[Sphinx] Move chapter 21 to new infrastructureMaxime Dénès
2018-03-22[Sphinx] Add chapter 19Maxime Dénès
2018-03-22[Sphinx] Move chapter 19 to new infrastructureMaxime Dénès
2018-03-22[Sphinx] Add chapter 17Maxime Dénès
2018-03-22[Sphinx] Move chapter 17 to new infrastructureMaxime Dénès