| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-10-07 | Release process: release notes | Vincent Laporte |
| 2019-10-07 | Merge PR #9933: Add a few missing notes to the release doc. | Vincent Laporte |
| 2019-05-21 | Fixing typos - Part 1 | JPR |
| 2019-05-08 | Update release process documentation and changelog entry. | Théo Zimmermann |
| 2019-04-09 | Add a few missing notes to the release doc. | Théo Zimmermann |
| 2019-02-08 | Add item in release-process.md to ease upcoming releases of Coq in Docker Hub | Erik Martin-Dorel |
| 2019-01-24 | Update update-compat.py and release-process.md | Jason Gross |
| 2019-01-24 | Update update-compat.py script | Jason Gross |
| 2018-11-29 | [release doc] vX.X branches are now automatically protected. | Théo Zimmermann |
| 2018-10-02 | Move the compat-update-process to right after branching | Jason Gross |
| 2018-10-02 | Update dev/doc/release-process: compat+automate | Jason Gross |
| 2018-05-18 | Create a documentation for the release manager. | Théo Zimmermann |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |