| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fixing bug #2900 (evar/evar unif was supposed to be treated in |  Hugo Herbelin | 2014-04-01 |
| solve_simple_eqn but in case the second evar was hidden behind a local variable, it arrived in evar_define and imitate, wrongly assuming progress). | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |