Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix bug #4923: Warning: appcontext is deprecated. | 2016-07-18 | |
| | |||
* | Fix test-suite files, and move some opened to closed. | 2014-09-11 | |
| | |||
* | Fix bug #3563, making syntactic matching of primitive projections | 2014-09-04 | |
and their eta-expanded forms succeed, potentially filling parameter metavariables from the type information of the projected object. |