| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-05-27 | Release notes for 8.12. | Théo Zimmermann | |
| 2020-05-20 | Print a newline at the end of timing tables | Jason Gross | |
| This, for example, improves the CI display, so that `$ echo 'end:coq.test'` does not appear on the same line as the end of the timing table. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |