| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-11-28 | Release notes for Coq 8.10.2 | Vincent Laporte | |
| 2019-11-27 | Correcting unintended changelog message for #11090 (coercion+notation ↵ | Hugo Herbelin | |
| regression). | |||
| 2019-11-21 | A refined version of #8890 which prevents #11033. | Hugo Herbelin | |
| We restrict #8890 so that it looks for a notation only for the fully applied coercion. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |