aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2018-03-15[Sphinx] Move chapter 3 to new infrastructureMaxime Dénès
2018-03-15Merge PR #6996: Sphinx doc chapter 16Maxime 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-15Merge PR #6995: Sphinx doc chapter 14Maxime 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-15Merge PR #6993: Sphinx doc chapter 13Maxime 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-15Merge PR #6991: Sphinx doc chapter 12Maxime 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-15Merge PR #6990: Sphinx doc chapter 10Maxime 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-15Merge PR #6987: Sphinx doc chapter 8Maxime 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-15Merge PR #6985: Sphinx doc chapter 5Maxime 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-15Merge PR #6983: Sphinx doc chapter 4Maxime 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-15Merge PR #6982: Sphinx doc chapter 2Maxime 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-15Merge PR #6979: Sphinx doc creditsMaxime Dénès
2018-03-15Merge PR #6912: [doc] Document removal of deprecated options.Maxime Dénès
2018-03-15Merge PR #6967: [META] Update Coq version number.Maxime 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-14Merge PR #6975: Fix whitespace issue in TacticNotationsVisitor.pyMaxime Dénès
2018-03-14Merge PR #6973: [Sphinx] migrate introductionMaxime 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
2018-03-13[Sphinx] Remove information for .chm backendMaxime Dénès
2018-03-13[Sphinx] add bibliographyMaxime Dénès
2018-03-13[Sphinx] Add indexesMaxime Dénès
2018-03-12[Sphinx] Add table of contentsMaxime Dénès
2018-03-12Fix whitespace issue in TacticNotationsVisitor.pyMaxime Dénès
2018-03-12[Sphinx] Add doc preambleMaxime Dénès
2018-03-12[Sphinx] Add a few grammar constructionsMaxime Dénès
Code from Paul Steckler (MIT).
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-29 06:54:18 +0000