log tests/pathmap.urp

age author description
2009-05-14 Adam Chlipala Testing custom paths
2009-05-14 Adam Chlipala Improving/reordering Unpoly and Especialize; pathmaps