aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* [Sphinx] Move chapter 19 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
* [Sphinx] Remove information for .chm backendGravatar Maxime Dénès2018-03-13
* [Sphinx] add bibliographyGravatar Maxime Dénès2018-03-13
* [Sphinx] Add indexesGravatar Maxime Dénès2018-03-13
* [Sphinx] Add table of contentsGravatar Maxime Dénès2018-03-12
* [Sphinx] Add doc preambleGravatar Maxime Dénès2018-03-12
* [Sphinx] Add a few grammar constructionsGravatar Maxime Dénès2018-03-12
* Merge PR #6775: Allow using cumulativity without forcing strict constraints.Gravatar Maxime Dénès2018-03-09
|\
| * Documentation for Cumulativity Weak Constraints.Gravatar Gaëtan Gilbert2018-03-09
* | Merge PR #6480: Allow Prop as source for coercionsGravatar Maxime Dénès2018-03-09
|\ \ | |/ |/|
* | Merge PR #6818: Sphinx doc infrastructureGravatar Maxime Dénès2018-03-09
|\ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-05 20:43:47 +0000