Mercurial > urweb
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 |