aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2018-03-16Merge PR #7000: win: update bignums to tag V8.8-beta.1Maxime 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-16Merge PR #7003: 8.8 changesMaxime Dénès
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-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
Thanks to Pierre Letouzey for porting this chapter.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 18:17:28 +0000