aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* [Sphinx] Add chapter 11Gravatar 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
|\ \
| * | Moving Gitlab CI documentation build to the main Coq build.Gravatar Maxime Dénès2018-03-09
| * | Integration of a sphinx-based documentation generator.Gravatar Maxime Dénès2018-03-09
* | | Merge PR #6895: [compat] Remove "Refolding Reduction" option.Gravatar Maxime Dénès2018-03-09
|\ \ \
* \ \ \ Merge PR #6820: Tacticals assert_fails and assert_succeedsGravatar Maxime Dénès2018-03-09
|\ \ \ \ | |_|/ / |/| | |
| | | * doc and changes for coercion from prop/typeGravatar charguer2018-03-09
| |_|/ |/| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-05 13:39:44 +0000