| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-01-22 | Fixing #9329 (registering empty levels in the order they are recomputed). | Hugo Herbelin | |
| Was raising an anomaly 'Failure("Grammar.extend")' otherwise. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |