aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
...
* | | [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
* | | [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
| * Clarify wording in tactics documentation.Gravatar Théo Zimmermann2018-03-25
|/
* Merge branch 'master' into sphinx-doc-chapter-22Gravatar Guillaume Melquiond2018-03-22
|\
| * Merge branch 'master' into sphinx-doc-chapter-21Gravatar Guillaume Melquiond2018-03-22
| |\
| | * Merge branch 'master' into sphinx-doc-chapter-19Gravatar Guillaume Melquiond2018-03-22
| | |\
* | | | [Sphinx] Add chapter 22Gravatar Maxime Dénès2018-03-22
* | | | [Sphinx] Move chapter 22 to new infrastructureGravatar Maxime Dénès2018-03-22
| * | | [Sphinx] Add chapter 21Gravatar Maxime Dénès2018-03-22
| * | | [Sphinx] Move chapter 21 to new infrastructureGravatar Maxime Dénès2018-03-22
|/ / /
| * | [Sphinx] Add chapter 19Gravatar Maxime Dénès2018-03-22
| * | [Sphinx] Move chapter 19 to new infrastructureGravatar Maxime Dénès2018-03-22
|/ /
| * [Sphinx] Add chapter 17Gravatar Maxime Dénès2018-03-22
| * [Sphinx] Move chapter 17 to new infrastructureGravatar Maxime Dénès2018-03-22
|/
* Merge PR #7006: [Sphinx] Add chapter 11Gravatar Maxime Dénès2018-03-16
|\
* \ Merge PR #7005: Fix coqtop timeoutGravatar Maxime Dénès2018-03-16
|\ \
| | * [Sphinx] Add chapter 11Gravatar Maxime Dénès2018-03-16
| |/ |/|
| * [Sphinx] Better error message for coqtop errorsGravatar Maxime Dénès2018-03-16
| * [Sphinx] Increase coqtop timeout to avoid spurious failures on CIGravatar Maxime Dénès2018-03-16
* | Latest fixes.Gravatar Matthieu Sozeau2018-03-16
* | Fix some items in CreditsGravatar Maxime Dénès2018-03-15
|/
* Merge PR #6992: Credits for 8.8Gravatar Maxime Dénès2018-03-15
|\
| * Credits for 8.8Gravatar Matthieu Sozeau2018-03-15
* | [Sphinx] Add chapter 3Gravatar Maxime Dénès2018-03-15
* | [Sphinx] Move chapter 3 to new infrastructureGravatar Maxime Dénès2018-03-15
|/
* [Sphinx] Add chapter 16Gravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 16 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Add chapter 14Gravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 14 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Add chapter 13Gravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 13 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Add chapter 12Gravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 12 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Add chapter 10Gravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 10 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Add chapter 8Gravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 8 to new infrastructureGravatar Maxime Dénès2018-03-15