aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-03-22Merge pull request #7039 from maximedenes/sphinx-doc-chapter-21Guillaume Melquiond
2018-03-22Merge branch 'master' into sphinx-doc-chapter-21Guillaume Melquiond
2018-03-22Merge pull request #7038 from maximedenes/sphinx-doc-chapter-19Guillaume Melquiond
2018-03-22Merge branch 'master' into sphinx-doc-chapter-19Guillaume Melquiond
2018-03-22Merge pull request #7036 from maximedenes/sphinx-doc-chapter-17Guillaume Melquiond
2018-03-22[Sphinx] Add chapter 21Maxime Dénès
2018-03-22[Sphinx] Move chapter 21 to new infrastructureMaxime Dénès
2018-03-22[Sphinx] Add chapter 19Maxime Dénès
2018-03-22[Sphinx] Move chapter 19 to new infrastructureMaxime Dénès
2018-03-22[Sphinx] Add chapter 17Maxime Dénès
2018-03-22[Sphinx] Move chapter 17 to new infrastructureMaxime Dénès
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-17 03:10:16 +0000