| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-05-23 | [dev/tools] Fix #12314: do not die silently if branch has no remote. | Théo Zimmermann |
| 2020-04-03 | Support when release branch is checked out in a worktree. | Théo Zimmermann |
| 2020-04-03 | Add a rudimentary script to generate release changelog. | Théo Zimmermann |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |