aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/addendum
Commit message (Expand)AuthorAge
* Typo in documentation of DeriveGravatar Joachim Breitner2018-05-16
* [doc] Address feedback on doc writer guideGravatar Clément Pit-Claudel2018-05-15
* [doc] Small fixesGravatar Clément Pit-Claudel2018-05-15
* Merge PR #7374: [sphinx] More fatal warnings.Gravatar Maxime Dénès2018-05-14
|\
* | [sphinx] Improvements around the Show commands, including missing indices and...Gravatar Théo Zimmermann2018-05-09
| * [sphinx] Fix new warnings related to tacn, cmd, opt...Gravatar Théo Zimmermann2018-05-09
|/
* [sphinx] Improve typeclass chapter.Gravatar Théo Zimmermann2018-05-05
* [sphinx] Re-indent to get much better rendering.Gravatar Théo Zimmermann2018-05-05
* Two more uses of verbatim in doc.Gravatar Théo Zimmermann2018-05-05
* Clean-up around cmd documentation.Gravatar Théo Zimmermann2018-05-05
* Add some refs in the Omega chapter.Gravatar Théo Zimmermann2018-05-05
* More fixes in the Generalized Rewriting chapter.Gravatar Théo Zimmermann2018-05-05
* [sphinx] More use of cmd references in Extraction chapter.Gravatar Théo Zimmermann2018-05-05
* 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
/ / /