aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/3482.v
Commit message (Expand)AuthorAge
* Fix test-suite file after moving back to using C as the nameGravatar Matthieu Sozeau2014-10-15
* Fix test-suite files, and move some opened to closed.Gravatar Matthieu Sozeau2014-09-11
* Restrict eta-conversion to inductive records, fixing bug #3310.Gravatar Matthieu Sozeau2014-08-14