Mercurial > urweb
log src/elab_err.sml
age | author | description |
---|---|---|
Sun, 10 Oct 2010 20:33:10 -0400 | Adam Chlipala | :::_ notation; switch to TooDeep error message |
age | author | description |
---|---|---|
Sun, 10 Oct 2010 20:33:10 -0400 | Adam Chlipala | :::_ notation; switch to TooDeep error message |