aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
2018-03-22Merge branch 'master' into sphinx-doc-chapter-22Guillaume Melquiond
2018-03-22Merge branch 'master' into sphinx-doc-chapter-21Guillaume Melquiond
2018-03-22Merge branch 'master' into sphinx-doc-chapter-19Guillaume Melquiond
2018-03-22[Sphinx] Add chapter 22Maxime Dénès
Thanks to Paul Steckler for porting this chapter.
2018-03-22[Sphinx] Move chapter 22 to new infrastructureMaxime Dénès
2018-03-22[Sphinx] Add chapter 21Maxime Dénès
Thanks to Pierre Letouzey for porting this chapter.
2018-03-22[Sphinx] Move chapter 21 to new infrastructureMaxime Dénès
2018-03-22[Sphinx] Add chapter 19Maxime Dénès
Thanks to Laurent Théry for porting this chapter.
2018-03-22[Sphinx] Move chapter 19 to new infrastructureMaxime Dénès
2018-03-22[Sphinx] Add chapter 17Maxime Dénès
Thanks to Clément Pit-Claudel for porting this chapter.
2018-03-22[Sphinx] Move chapter 17 to new infrastructureMaxime Dénès
2018-03-16Merge PR #7006: [Sphinx] Add chapter 11Maxime Dénès
2018-03-16Merge PR #7005: Fix coqtop timeoutMaxime Dénès
2018-03-16[Sphinx] Add chapter 11Maxime Dénès
Thanks to Enrico Tassi, Assia Mahboubi, Laurence Rideau and Yves Bertot for porting this chapter.
2018-03-16[Sphinx] Better error message for coqtop errorsMaxime Dénès
2018-03-16[Sphinx] Increase coqtop timeout to avoid spurious failures on CIMaxime Dénès
2018-03-16Latest fixes.Matthieu Sozeau
I think we can all agree this release has a chilean flavor anyway (as in hot and cold :)
2018-03-15Fix some items in CreditsMaxime Dénès
2018-03-15Merge PR #6992: Credits for 8.8Maxime Dénès
2018-03-15Credits for 8.8Matthieu Sozeau
2018-03-15[Sphinx] Add chapter 3Maxime Dénès
Thanks to Pierre Letouzey for porting this chapter.
2018-03-15[Sphinx] Move chapter 3 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add chapter 16Maxime Dénès
Thanks to Paul Steckler for porting this chapter.
2018-03-15[Sphinx] Move chapter 16 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add chapter 14Maxime Dénès
Thanks to Paul Steckler for porting this chapter.
2018-03-15[Sphinx] Move chapter 14 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add chapter 13Maxime Dénès
Thanks to Paul Steckler for porting this chapter.
2018-03-15[Sphinx] Move chapter 13 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add chapter 12Maxime Dénès
Thanks to Clément Pit-Claudel for porting this chapter.
2018-03-15[Sphinx] Move chapter 12 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add chapter 10Maxime Dénès
Thanks to Calvin Beck for porting this chapter.
2018-03-15[Sphinx] Move chapter 10 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add chapter 8Maxime Dénès
Thanks to Heiko Becker and Nikita Zyuzin for porting this chapter.
2018-03-15[Sphinx] Move chapter 8 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add chapter 5Maxime Dénès
Thanks to Richard Ford for porting this chapter.
2018-03-15[Sphinx] Move chapter 5 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add chapter 4Maxime Dénès
Thanks to Richard Ford for porting this chapter.
2018-03-15[Sphinx] Move chapter 4 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add chapter 2Maxime Dénès
Thanks to Paul Steckler for porting this chapter.
2018-03-15[Sphinx] Move chapter 2 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add creditsMaxime Dénès
2018-03-15[Sphinx] Move credits to new infrastructureMaxime Dénès
2018-03-13[Sphinx] Add introductionMaxime Dénès
I backported changes done to the LaTeX manual.
2018-03-13[Sphinx] Move introduction to new infrastructureMaxime Dénès
2018-03-13[Sphinx] Add "edit on github"Maxime Dénès
2018-03-13[Sphinx] Mention licenseMaxime Dénès
2018-03-13[Sphinx] Remove ad-hoc color for links interfering with TOCMaxime Dénès
2018-03-13[Sphinx] Update some metadataMaxime Dénès
2018-03-13[Sphinx] Read version number from configureMaxime Dénès
2018-03-13[Sphinx] Comment out metadata for unused backendsMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 04:11:16 +0000