Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [Sphinx] Move chapter 26 to new infrastructure | Maxime Dénès | 2018-03-29 |
| | |||
* | [Sphinx] Add chapter 24 | Maxime Dénès | 2018-03-29 |
| | | | | Thanks to Matthieu Sozeau for porting this chapter. | ||
* | [Sphinx] Move chapter 24 to new infrastructure | Maxime Dénès | 2018-03-29 |
| | |||
* | [Sphinx] Add chapter 23 | Maxime Dénès | 2018-03-29 |
| | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
* | [Sphinx] Move chapter 23 to new infrastructure | Maxime Dénès | 2018-03-29 |
| | |||
* | [Sphinx] Remove duplicate entry for command `Coercion` | Maxime Dénès | 2018-03-29 |
| | |||
* | [Sphinx] Add chapter 18 | Maxime Dénès | 2018-03-29 |
| | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
* | [Sphinx] Move chapter 18 to new infrastructure | Maxime Dénès | 2018-03-29 |
| | |||
* | [doc] Port Chapter 20 Type Classes to Sphinx | Matthieu Sozeau | 2018-03-26 |
| | |||
* | Move Classes.tex to type-classes.rst | Matthieu Sozeau | 2018-03-26 |
| | |||
* | Merge branch 'master' into sphinx-doc-chapter-22 | Guillaume Melquiond | 2018-03-22 |
|\ | |||
| * | Merge branch 'master' into sphinx-doc-chapter-21 | Guillaume Melquiond | 2018-03-22 |
| |\ | |||
| | * | Merge branch 'master' into sphinx-doc-chapter-19 | Guillaume Melquiond | 2018-03-22 |
| | |\ | |||
* | | | | [Sphinx] Add chapter 22 | Maxime Dénès | 2018-03-22 |
| | | | | | | | | | | | | | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | | | | [Sphinx] Move chapter 22 to new infrastructure | Maxime Dénès | 2018-03-22 |
| | | | | |||
| * | | | [Sphinx] Add chapter 21 | Maxime Dénès | 2018-03-22 |
| | | | | | | | | | | | | | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
| * | | | [Sphinx] Move chapter 21 to new infrastructure | Maxime Dénès | 2018-03-22 |
|/ / / | |||
| * | | [Sphinx] Add chapter 19 | Maxime Dénès | 2018-03-22 |
| | | | | | | | | | | | | Thanks to Laurent Théry for porting this chapter. | ||
| * | | [Sphinx] Move chapter 19 to new infrastructure | Maxime Dénès | 2018-03-22 |
|/ / | |||
| * | [Sphinx] Add chapter 17 | Maxime Dénès | 2018-03-22 |
| | | | | | | | | Thanks to Clément Pit-Claudel for porting this chapter. | ||
| * | [Sphinx] Move chapter 17 to new infrastructure | Maxime Dénès | 2018-03-22 |
|/ | |||
* | [Sphinx] Add chapter 11 | Maxime Dénès | 2018-03-16 |
| | | | | | Thanks to Enrico Tassi, Assia Mahboubi, Laurence Rideau and Yves Bertot for porting this chapter. | ||
* | Latest fixes. | Matthieu Sozeau | 2018-03-16 |
| | | | | | I think we can all agree this release has a chilean flavor anyway (as in hot and cold :) | ||
* | Fix some items in Credits | Maxime Dénès | 2018-03-15 |
| | |||
* | Merge PR #6992: Credits for 8.8 | Maxime Dénès | 2018-03-15 |
|\ | |||
| * | Credits for 8.8 | Matthieu Sozeau | 2018-03-15 |
| | | |||
* | | [Sphinx] Add chapter 3 | Maxime Dénès | 2018-03-15 |
| | | | | | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
* | | [Sphinx] Move chapter 3 to new infrastructure | Maxime Dénès | 2018-03-15 |
|/ | |||
* | [Sphinx] Add chapter 16 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Move chapter 16 to new infrastructure | Maxime Dénès | 2018-03-15 |
| | |||
* | [Sphinx] Add chapter 14 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Move chapter 14 to new infrastructure | Maxime Dénès | 2018-03-15 |
| | |||
* | [Sphinx] Add chapter 13 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Move chapter 13 to new infrastructure | Maxime Dénès | 2018-03-15 |
| | |||
* | [Sphinx] Add chapter 12 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Clément Pit-Claudel for porting this chapter. | ||
* | [Sphinx] Move chapter 12 to new infrastructure | Maxime Dénès | 2018-03-15 |
| | |||
* | [Sphinx] Add chapter 10 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Calvin Beck for porting this chapter. | ||
* | [Sphinx] Move chapter 10 to new infrastructure | Maxime Dénès | 2018-03-15 |
| | |||
* | [Sphinx] Add chapter 8 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Heiko Becker and Nikita Zyuzin for porting this chapter. | ||
* | [Sphinx] Move chapter 8 to new infrastructure | Maxime Dénès | 2018-03-15 |
| | |||
* | [Sphinx] Add chapter 5 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Richard Ford for porting this chapter. | ||
* | [Sphinx] Move chapter 5 to new infrastructure | Maxime Dénès | 2018-03-15 |
| | |||
* | [Sphinx] Add chapter 4 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Richard Ford for porting this chapter. | ||
* | [Sphinx] Move chapter 4 to new infrastructure | Maxime Dénès | 2018-03-15 |
| | |||
* | [Sphinx] Add chapter 2 | Maxime Dénès | 2018-03-15 |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Move chapter 2 to new infrastructure | Maxime Dénès | 2018-03-15 |
| | |||
* | [Sphinx] Add credits | Maxime Dénès | 2018-03-15 |
| | |||
* | [Sphinx] Move credits to new infrastructure | Maxime Dénès | 2018-03-15 |
| | |||
* | [Sphinx] Add introduction | Maxime Dénès | 2018-03-13 |
| | | | | I backported changes done to the LaTeX manual. | ||
* | [Sphinx] Move introduction to new infrastructure | Maxime Dénès | 2018-03-13 |
| |