Mercurial > urweb
log src/elab_err.sig
age | author | description |
---|---|---|
Sun, 13 Dec 2009 11:28:47 -0500 | Adam Chlipala | Better record summary error messages; more tweaking SQL usability |
age | author | description |
---|---|---|
Sun, 13 Dec 2009 11:28:47 -0500 | Adam Chlipala | Better record summary error messages; more tweaking SQL usability |