aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/keyedrewrite.v
Commit message (Expand)AuthorAge
* Fix test-suite filesGravatar Matthieu Sozeau2014-09-29
* Keyed unification option, compiling the whole standard libraryGravatar Matthieu Sozeau2014-09-27
* First version of keyed subterm selection in unification.Gravatar Matthieu Sozeau2014-09-27