aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-03-16Latest fixes.Matthieu Sozeau
2018-03-15Fix some items in CreditsMaxime Dénès
2018-03-15Add some missing entries in CHANGESMaxime 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[win] update bignums to tag V8.8+beta1Enrico Tassi
2018-03-15Merge PR #6997: Sphinx doc chapter 3Maxime Dénès
2018-03-15[Sphinx] Add chapter 3Maxime Dénès
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
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
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
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
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
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
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
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
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
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-13Enable whitespace checking for new Sphinx file extensions.Gaëtan Gilbert
2018-03-13Fix another typo in the documentation's grammar for open variantsArmael
2018-03-13Merge pull request coq/ltac2#49 from Armael/fix-typoPierre-Marie Pédrot
2018-03-13Fix a typoArmael
2018-03-13[Sphinx] Add introductionMaxime Dénès
2018-03-13[Sphinx] Move introduction to new infrastructureMaxime Dénès
2018-03-13[Sphinx] Add "edit on github"Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 12:10:29 +0000