aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/pathmap.urp
Commit message (Expand)AuthorAge
* Testing custom pathsGravatar Adam Chlipala2009-05-14
* Improving/reordering Unpoly and Especialize; pathmapsGravatar Adam Chlipala2009-05-14