| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fix bug #3505. |  Matthieu Sozeau | 2014-09-11 |
| When w_unifying primitive projection applications, force the unification of types of the projected records to recover instances for the parameters (evarconv does this automatically by unifying evar instances with their expected type). | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |