Mercurial > urweb
log tests/ambig.ur
age | author | description |
---|---|---|
2012-04-21 | Adam Chlipala | Omit 'Basis.' in pretty-printing constructors, where this is unambiguous |
age | author | description |
---|---|---|
2012-04-21 | Adam Chlipala | Omit 'Basis.' in pretty-printing constructors, where this is unambiguous |