| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-05-27 | Release notes for 8.12. | Théo Zimmermann |
| 2020-05-14 | Add changelog for #12323. | Hugo Herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/doc/changelog/02-specification-language/12323-master+fix12322-anomaly-implicit-binder-factorization.rst