aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-03-21[default.nix] Add dependencies of the merging script.Théo Zimmermann
2018-03-21Merge PR #7027: Refine a bit the decentralized merging process.Théo Zimmermann
2018-03-21Switching owners for `META.coq`Maxime Dénès
2018-03-21Fix appveyor entry in CODEOWNERS.Maxime Dénès
2018-03-21Refine a bit the decentralized merging process.Maxime Dénès
2018-03-21Merge PR #7023: [ssreflect] Respect Opaque in FO unificationEnrico Tassi
2018-03-20[ssreflect] Respect Opaque in FO unificationMaxime Dénès
2018-03-20Merge PR #7022: Update CODEOWNERSMaxime Dénès
2018-03-20Update CODEOWNERSEnrico
2018-03-20Merge PR #7014: New merging processMaxime Dénès
2018-03-20Add CODEOWNERSMaxime Dénès
2018-03-19Describe new merging process.Maxime Dénès
2018-03-16Merge PR #7007: Emergency fix for OSX packaging job on Travis.Maxime Dénès
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-16Emergency fix for OSX packaging job on Travis.Maxime Dénès
2018-03-16[Sphinx] Add chapter 11Maxime Dénès
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-02 05:40:33 +0000