log tests/pathmap.ur

age author description
2009-05-14 Adam Chlipala Fix a nasty binding bug in CoreUtil
2009-05-14 Adam Chlipala Testing custom paths
2009-05-14 Adam Chlipala Improving/reordering Unpoly and Especialize; pathmaps