Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge PR #6955: Fixed many typos and grammar errors in chapter 11 of the manual. | 2018-04-11 | |
|\ | |||
* | | [Sphinx] Add chapter 6 | 2018-04-10 | |
| | | | | | | | | Thanks to Yves Bertot for porting this chapter. | ||
* | | [Sphinx] Move chapter 6 to new infrastructure | 2018-04-10 | |
| | | |||
* | | [Sphinx] Add chapter 15 | 2018-04-10 | |
| | | | | | | | | Thanks to Laurent Théry for porting this chapter. | ||
* | | [Sphinx] Move chapter 15 to new infrastructure | 2018-04-10 | |
| | | |||
* | | Merge PR #7162: Sphinx doc chapter 7 | 2018-04-09 | |
|\ \ | |||
* \ \ | Merge PR #7070: Clarify wording in tactics documentation. | 2018-04-09 | |
|\ \ \ | |||
| | * | | [Sphinx] Add chapter 7 | 2018-04-09 | |
| | | | | | | | | | | | | | | | | Thanks to Laurent Théry for porting this chapter. | ||
| | * | | [Sphinx] Make it possible to espace { by %{ in custom grammars | 2018-04-09 | |
| | | | | |||
| | * | | [Sphinx] Move chapter 7 to new infrastructure | 2018-04-09 | |
| |/ / |/| | | |||
| | * | Fixed many typos and grammar errors in chapter 11 of the manual. | 2018-04-06 | |
| |/ |/| | |||
* | | Merge PR #7131: Sphinx doc chapter 30 | 2018-04-06 | |
|\ \ | |||
* \ \ | Merge PR #7169: Sphinx docs: fix typo in Chrząszcz (non-ASCII character ↵ | 2018-04-05 | |
|\ \ \ | | | | | | | | | | | | | lost in sphinx migration) | ||
| | * | | [Sphinx] Add chapter 30 | 2018-04-05 | |
| | | | | | | | | | | | | | | | | Thanks to Paul Steckler for porting this chapter. | ||
| | * | | [Sphinx] Move chapter 30 to new infrastructure | 2018-04-05 | |
| |/ / |/| | | |||
| * | | Sphinx docs: fix typo (non-ASCII character lost in sphinx migration) | 2018-04-04 | |
| | | | |||
* | | | [Sphinx] Add chapter 28 | 2018-04-04 | |
| | | | | | | | | | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | | | [Sphinx] Move chapter 28 to new infrastructure | 2018-04-04 | |
|/ / | |||
* | | [Sphinx] Add chapter 27 | 2018-03-30 | |
| | | | | | | | | Thanks to Calvin Beck for porting this chapter. | ||
* | | [Sphinx] Move chapter 27 to new infrastructure | 2018-03-30 | |
| | | |||
* | | [Sphinx] Add chapter 25 | 2018-03-30 | |
| | | | | | | | | Thanks to Laurent Théry for porting this chapter. | ||
* | | [Sphinx] Move chapter 25 to new infrastructure | 2018-03-30 | |
| | | |||
* | | [Sphinx] Add chapter 26 | 2018-03-29 | |
| | | | | | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | | [Sphinx] Move chapter 26 to new infrastructure | 2018-03-29 | |
| | | |||
* | | [Sphinx] Add chapter 24 | 2018-03-29 | |
| | | | | | | | | Thanks to Matthieu Sozeau for porting this chapter. | ||
* | | [Sphinx] Move chapter 24 to new infrastructure | 2018-03-29 | |
| | | |||
* | | [Sphinx] Add chapter 23 | 2018-03-29 | |
| | | | | | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
* | | [Sphinx] Move chapter 23 to new infrastructure | 2018-03-29 | |
| | | |||
* | | [Sphinx] Remove duplicate entry for command `Coercion` | 2018-03-29 | |
| | | |||
* | | [Sphinx] Add chapter 18 | 2018-03-29 | |
| | | | | | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
* | | [Sphinx] Move chapter 18 to new infrastructure | 2018-03-29 | |
| | | |||
* | | [doc] Port Chapter 20 Type Classes to Sphinx | 2018-03-26 | |
| | | |||
* | | Move Classes.tex to type-classes.rst | 2018-03-26 | |
| | | |||
| * | Clarify wording in tactics documentation. | 2018-03-25 | |
|/ | | | | Closes #6980. | ||
* | Merge branch 'master' into sphinx-doc-chapter-22 | 2018-03-22 | |
|\ | |||
| * | Merge branch 'master' into sphinx-doc-chapter-21 | 2018-03-22 | |
| |\ | |||
| | * | Merge branch 'master' into sphinx-doc-chapter-19 | 2018-03-22 | |
| | |\ | |||
* | | | | [Sphinx] Add chapter 22 | 2018-03-22 | |
| | | | | | | | | | | | | | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | | | | [Sphinx] Move chapter 22 to new infrastructure | 2018-03-22 | |
| | | | | |||
| * | | | [Sphinx] Add chapter 21 | 2018-03-22 | |
| | | | | | | | | | | | | | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
| * | | | [Sphinx] Move chapter 21 to new infrastructure | 2018-03-22 | |
|/ / / | |||
| * | | [Sphinx] Add chapter 19 | 2018-03-22 | |
| | | | | | | | | | | | | Thanks to Laurent Théry for porting this chapter. | ||
| * | | [Sphinx] Move chapter 19 to new infrastructure | 2018-03-22 | |
|/ / | |||
| * | [Sphinx] Add chapter 17 | 2018-03-22 | |
| | | | | | | | | Thanks to Clément Pit-Claudel for porting this chapter. | ||
| * | [Sphinx] Move chapter 17 to new infrastructure | 2018-03-22 | |
|/ | |||
* | Merge PR #7006: [Sphinx] Add chapter 11 | 2018-03-16 | |
|\ | |||
* \ | Merge PR #7005: Fix coqtop timeout | 2018-03-16 | |
|\ \ | |||
| | * | [Sphinx] Add chapter 11 | 2018-03-16 | |
| |/ |/| | | | | | | | Thanks to Enrico Tassi, Assia Mahboubi, Laurence Rideau and Yves Bertot for porting this chapter. | ||
| * | [Sphinx] Better error message for coqtop errors | 2018-03-16 | |
| | | |||
| * | [Sphinx] Increase coqtop timeout to avoid spurious failures on CI | 2018-03-16 | |
| | |