Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fixing #7700 (section variables bound to abbreviations were not found). | Hugo Herbelin | 2018-06-10 |
Redundancy between finding section variables in both interp_var and interp_qualid could probably be cleaned. |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fixing #7700 (section variables bound to abbreviations were not found). | Hugo Herbelin | 2018-06-10 |
Redundancy between finding section variables in both interp_var and interp_qualid could probably be cleaned. |