| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-05-27 | Release notes for 8.12. | Théo Zimmermann |
| 2020-01-22 | Add explicit types to changelog entries. | Théo Zimmermann |
| 2020-01-22 | Fix typo in changelog entry. | Théo Zimmermann |
| 2019-12-03 | Update doc/changelog/03-notations/11172-master+coercion-notation-interleaved-... | Hugo Herbelin |
| 2019-12-03 | Printing: Interleaving search for notations and removal of coercions. | Hugo Herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |