aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* [Sphinx] Fix all remaining warnings.Gravatar Maxime Dénès2018-04-14
* [sphinx] Fix many warnings.Gravatar Théo Zimmermann2018-04-14
* [Sphinx] Add chapter 9.Gravatar Théo Zimmermann2018-04-14
* [Sphinx] Move chapter 9 to new infrastructure.Gravatar Théo Zimmermann2018-04-14
* [Sphinx] Add Chapter 1Gravatar Maxime Dénès2018-04-13
* [Sphinx] Move chapter 1 to new infrastructureGravatar Maxime Dénès2018-04-13
* Merge PR #7117: Sphinx doc chapter 29Gravatar Théo Zimmermann2018-04-13
|\
* \ Merge PR #7222: [sphinx] Remove migration artefacts.Gravatar Maxime Dénès2018-04-12
|\ \
* \ \ Merge PR #7220: Many Sphinx fixes (including a fix of the credits chapter)Gravatar Maxime Dénès2018-04-12
|\ \ \
* \ \ \ Merge PR #7201: Translation fixes in chapter syntax extensions.Gravatar Maxime Dénès2018-04-12
|\ \ \ \
| | | | * [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] Use macros for notes and examples.Gravatar Théo Zimmermann2018-04-11
| | * [sphinx] Fixes in chapter 2.Gravatar Théo Zimmermann2018-04-11
| | * Remove empty reference to the current version of Coq.Gravatar Théo Zimmermann2018-04-11
| | * [sphinx] Use macro |CoqIDE| consistently.Gravatar Théo Zimmermann2018-04-11
| | * Add credits related to the Sphinx migration.Gravatar Théo Zimmermann2018-04-11
| | * Fix wrong mention in the release notes.Gravatar Théo Zimmermann2018-04-11
| |/ |/|
* | Merge PR #6955: Fixed many typos and grammar errors in chapter 11 of the manual.Gravatar Maxime Dénès2018-04-11
|\ \
* | | [Sphinx] Add chapter 6Gravatar Maxime Dénès2018-04-10
* | | [Sphinx] Move chapter 6 to new infrastructureGravatar Maxime Dénès2018-04-10
* | | [Sphinx] Add chapter 15Gravatar Laurent Théry2018-04-10
* | | [Sphinx] Move chapter 15 to new infrastructureGravatar Maxime Dénès2018-04-10
* | | Merge PR #7162: Sphinx doc chapter 7Gravatar Théo Zimmermann2018-04-09
|\ \ \
| | | * Translation fixes in chapter syntax extensions.Gravatar Hugo Herbelin2018-04-09
* | | | Merge PR #7070: Clarify wording in tactics documentation.Gravatar Maxime Dénès2018-04-09
|\ \ \ \ | |_|_|/ |/| | |
| | * | [Sphinx] Add chapter 7Gravatar Maxime Dénès2018-04-09
| | * | [Sphinx] Make it possible to espace { by %{ in custom grammarsGravatar Maxime Dénès2018-04-09
| | * | [Sphinx] Move chapter 7 to new infrastructureGravatar Maxime Dénès2018-04-09
| |/ / |/| |
| | * Fixed many typos and grammar errors in chapter 11 of the manual.Gravatar Zeimer2018-04-06
| |/ |/|
* | Merge PR #7131: Sphinx doc chapter 30Gravatar Théo Zimmermann2018-04-06
|\ \
* \ \ Merge PR #7169: Sphinx docs: fix typo in Chrząszcz (non-ASCII character lost...Gravatar Maxime Dénès2018-04-05
|\ \ \
| | * | [Sphinx] Add chapter 30Gravatar Maxime Dénès2018-04-05
| | * | [Sphinx] Move chapter 30 to new infrastructureGravatar Maxime Dénès2018-04-05
| |/ / |/| |
| * | Sphinx docs: fix typo (non-ASCII character lost in sphinx migration)Gravatar Peter LeFanu Lumsdaine2018-04-04
* | | [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] Remove duplicate entry for command `Coercion`Gravatar Maxime Dénès2018-03-29
* | [Sphinx] Add chapter 18Gravatar Maxime Dénès2018-03-29