aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/addendum
Commit message (Expand)AuthorAge
* Remove fourier pluginGravatar Maxime Dénès2018-07-17
* Merge PR #7559: Existing Class noop when already a class + warning.Gravatar Matthieu Sozeau2018-06-25
|\
* | [doc] Use productionlist instead of prodn in ring.rstGravatar Clément Pit-Claudel2018-06-19
* | doc: fix typo.Gravatar whitequark2018-06-13
| * Existing Class noop when already a class + warning.Gravatar Gaëtan Gilbert2018-06-08
|/
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-16 12:26:44 +0000