| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-12-11 | Clarify changelog categories. | Théo Zimmermann | |
| For readers of the changelog: title "Tools" become "Command-line tools". For developers: changelog categories 07 and 08 are disambiguated. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |