| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-05-21 | Fixing typos - Part 1 | JPR |
| 2019-05-08 | Update release process documentation and changelog entry. | 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 |