aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
...
* | Merge PR #7270: Sphinx doc fix indicesGravatar Maxime Dénès2018-04-16
|\ \
| * | [Sphinx] Clean-up indicesGravatar Maxime Dénès2018-04-16
* | | Merge PR #7264: [Sphinx] Fix a lot of references and description of optionsGravatar Maxime Dénès2018-04-16
|\| |
* | | Merge PR #7266: Remove LaTeX refman, now that migration to Sphinx is completeGravatar Maxime Dénès2018-04-16
|\ \ \
| * | | Remove LaTeX refman, now that migration to Sphinx is completeGravatar Maxime Dénès2018-04-16
| | * | [Sphinx] Fix a lot of references and description of optionsGravatar Maxime Dénès2018-04-16
| |/ /
* / / Document the Export Set/Unset commands.Gravatar Pierre-Marie Pédrot2018-04-16
|/ /
* | Merge PR #7200: [ltac] Deprecate nameless fix/cofix.Gravatar Maxime Dénès2018-04-16
|\ \
* \ \ Merge PR #7251: doc: Rename UbuntuMono-Square to CoqNotations and tweak spacingGravatar Maxime Dénès2018-04-16
|\ \ \
* | | | [Sphinx] Fix all remaining warnings.Gravatar Maxime Dénès2018-04-14
| * | | doc: Rename UbuntuMono-Square to CoqNotations and tweak spacingGravatar Clément Pit-Claudel2018-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
| | * | [ltac] Deprecate nameless fix/cofix.Gravatar Emilio Jesus Gallego Arias2018-04-13
* | | | [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
|\ \ \ \
| | | | * Sphinx docs: clarify strict implicit argumentsGravatar Anton Trunov2018-04-05
| |_|_|/ |/| | |
* | | | 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
|/ / /