Mercurial > urweb
log
age | author | description |
---|---|---|
Sun, 27 Nov 2011 15:12:44 -0500 | Adam Chlipala | New release |
Sat, 26 Nov 2011 10:14:05 -0500 | Adam Chlipala | Switch to YUI strftime |
Fri, 25 Nov 2011 17:19:34 -0500 | Adam Chlipala | Support 'safeGet' in demos |
Fri, 25 Nov 2011 16:30:34 -0500 | Adam Chlipala | Fix server-side urlification of custom Option types |
Fri, 25 Nov 2011 11:08:51 -0500 | Adam Chlipala | Announce sidedness errors with source locations |
Thu, 24 Nov 2011 11:56:05 -0500 | Adam Chlipala | Tweak error message about Basis.get to use that name instead of internal name |