summaryrefslogtreecommitdiff
path: root/tests/pathmap.ur
Commit message (Collapse)AuthorAge
* Fix a nasty binding bug in CoreUtilGravatar Adam Chlipala2009-05-14
|
* Testing custom pathsGravatar Adam Chlipala2009-05-14
|
* Improving/reordering Unpoly and Especialize; pathmapsGravatar Adam Chlipala2009-05-14