| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-01-18 | Fixes #13413: freshness issue with "%" introduction pattern. | Hugo Herbelin | |
| We build earlier the final expected name at the end of a sequence of "%" introduction patterns. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |