| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-06-11 | Fix #10225 (Instance := {} accepts duplicate fields) | Gaëtan Gilbert | |
| This replaces the mismatched context error, which occurred when Instance := {} was used with strictly more fields than declared. Since we later check that field names match those declared for the instance, now that we reject duplicates we know that there are no extra fields. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |