aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* 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
* [Sphinx] Add chapter 5Gravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 5 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Add chapter 4Gravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 4 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Add chapter 2Gravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 2 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Add creditsGravatar Maxime Dénès2018-03-15
* [Sphinx] Move credits to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Add introductionGravatar Maxime Dénès2018-03-13
* [Sphinx] Move introduction to new infrastructureGravatar Maxime Dénès2018-03-13
* [Sphinx] Add "edit on github"Gravatar Maxime Dénès2018-03-13
* [Sphinx] Mention licenseGravatar Maxime Dénès2018-03-13
* [Sphinx] Remove ad-hoc color for links interfering with TOCGravatar Maxime Dénès2018-03-13
* [Sphinx] Update some metadataGravatar Maxime Dénès2018-03-13
* [Sphinx] Read version number from configureGravatar Maxime Dénès2018-03-13
* [Sphinx] Comment out metadata for unused backendsGravatar Maxime Dénès2018-03-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-31 12:55:48 +0000