| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-03-22 | Merge PR #7031: Owners for developer tools | Théo Zimmermann | |
| 2018-03-22 | Owners for developer tools | Maxime Dénès | |
| 2018-03-22 | Merge pull request #7040 from maximedenes/sphinx-doc-chapter-22 | Guillaume Melquiond | |
| Sphinx doc chapter 22 | |||
| 2018-03-22 | Merge branch 'master' into sphinx-doc-chapter-22 | Guillaume Melquiond | |
| 2018-03-22 | Merge pull request #7039 from maximedenes/sphinx-doc-chapter-21 | Guillaume Melquiond | |
| Sphinx doc chapter 21 | |||
| 2018-03-22 | Merge branch 'master' into sphinx-doc-chapter-21 | Guillaume Melquiond | |
| 2018-03-22 | Merge pull request #7038 from maximedenes/sphinx-doc-chapter-19 | Guillaume Melquiond | |
| Sphinx doc chapter 19 | |||
| 2018-03-22 | Merge branch 'master' into sphinx-doc-chapter-19 | Guillaume Melquiond | |
| 2018-03-22 | Merge pull request #7036 from maximedenes/sphinx-doc-chapter-17 | Guillaume Melquiond | |
| Sphinx doc chapter 17 | |||
| 2018-03-22 | [Sphinx] Add chapter 22 | Maxime Dénès | |
| Thanks to Paul Steckler for porting this chapter. | |||
| 2018-03-22 | [Sphinx] Move chapter 22 to new infrastructure | Maxime Dénès | |
| 2018-03-22 | [Sphinx] Add chapter 21 | Maxime Dénès | |
| Thanks to Pierre Letouzey for porting this chapter. | |||
| 2018-03-22 | [Sphinx] Move chapter 21 to new infrastructure | Maxime Dénès | |
| 2018-03-22 | [Sphinx] Add chapter 19 | Maxime Dénès | |
| Thanks to Laurent Théry for porting this chapter. | |||
| 2018-03-22 | [Sphinx] Move chapter 19 to new infrastructure | Maxime Dénès | |
| 2018-03-22 | [Sphinx] Add chapter 17 | Maxime Dénès | |
| Thanks to Clément Pit-Claudel for porting this chapter. | |||
| 2018-03-22 | [Sphinx] Move chapter 17 to new infrastructure | Maxime Dénès | |
| 2018-03-21 | Merge PR #7027: Refine a bit the decentralized merging process. | Théo Zimmermann | |
| 2018-03-21 | Switching owners for `META.coq` | Maxime Dénès | |
| 2018-03-21 | Fix appveyor entry in CODEOWNERS. | Maxime Dénès | |
| 2018-03-21 | Refine a bit the decentralized merging process. | Maxime Dénès | |
| We make GitHub assign only principal maintainers as reviewers. This reduces the level of noise (PRs with 10 code owners), and makes it easy for the assignee to check if all reviews have been completed (all reviewers in the list have to approve the PR, which was not the case before if two reviewers were assigned for the same component). This change means that when a principal maintainer submits a patch touching the component they own, they should ask a review from the secondary maintainer. | |||
| 2018-03-21 | Merge PR #7023: [ssreflect] Respect Opaque in FO unification | Enrico Tassi | |
| 2018-03-20 | [ssreflect] Respect Opaque in FO unification | Maxime Dénès | |
| 2018-03-20 | Merge PR #7022: Update CODEOWNERS | Maxime Dénès | |
| 2018-03-20 | Update CODEOWNERS | Enrico | |
| 2018-03-20 | Merge PR #7014: New merging process | Maxime Dénès | |
| The last merge with the centralized process ;) | |||
| 2018-03-20 | Add CODEOWNERS | Maxime Dénès | |
| See https://help.github.com/articles/about-codeowners/ for documentation. | |||
| 2018-03-19 | Describe new merging process. | Maxime Dénès | |
| 2018-03-16 | Merge PR #7007: Emergency fix for OSX packaging job on Travis. | Maxime Dénès | |
| 2018-03-16 | Merge PR #7000: win: update bignums to tag V8.8-beta.1 | Maxime Dénès | |
| 2018-03-16 | Merge PR #7006: [Sphinx] Add chapter 11 | Maxime Dénès | |
| 2018-03-16 | Merge PR #7005: Fix coqtop timeout | Maxime Dénès | |
| 2018-03-16 | Emergency fix for OSX packaging job on Travis. | Maxime Dénès | |
| Updates to homebrew packages can currently make this packaging job fail at any stage of the release cycle. Also, we are leaving dangerously because we depend on python2 and python3 at the same time, which is not supported by homebrew. To make this more reliable, we should switch to a Nix-based build infrastructure at least for macOS. | |||
| 2018-03-16 | [Sphinx] Add chapter 11 | Maxime Dénès | |
| Thanks to Enrico Tassi, Assia Mahboubi, Laurence Rideau and Yves Bertot for porting this chapter. | |||
| 2018-03-16 | Merge PR #7003: 8.8 changes | Maxime Dénès | |
| 2018-03-16 | [Sphinx] Better error message for coqtop errors | Maxime Dénès | |
| 2018-03-16 | [Sphinx] Increase coqtop timeout to avoid spurious failures on CI | Maxime Dénès | |
| 2018-03-16 | Latest fixes. | Matthieu Sozeau | |
| I think we can all agree this release has a chilean flavor anyway (as in hot and cold :) | |||
| 2018-03-15 | Fix some items in Credits | Maxime Dénès | |
| 2018-03-15 | Add some missing entries in CHANGES | Maxime Dénès | |
| 2018-03-15 | Merge PR #6992: Credits for 8.8 | Maxime Dénès | |
| 2018-03-15 | Credits for 8.8 | Matthieu Sozeau | |
| 2018-03-15 | [win] update bignums to tag V8.8+beta1 | Enrico Tassi | |
| 2018-03-15 | Merge PR #6997: Sphinx doc chapter 3 | Maxime Dénès | |
| 2018-03-15 | [Sphinx] Add chapter 3 | Maxime Dénès | |
| Thanks to Pierre Letouzey for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Move chapter 3 to new infrastructure | Maxime Dénès | |
| 2018-03-15 | Merge PR #6996: Sphinx doc chapter 16 | Maxime Dénès | |
| 2018-03-15 | [Sphinx] Add chapter 16 | Maxime Dénès | |
| Thanks to Paul Steckler for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Move chapter 16 to new infrastructure | Maxime Dénès | |
| 2018-03-15 | Merge PR #6995: Sphinx doc chapter 14 | Maxime Dénès | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |