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