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 |
Thu, 24 Nov 2011 11:41:52 -0500 |
Adam Chlipala |
Catch more <ccheckbox> events |
Thu, 24 Nov 2011 11:27:51 -0500 |
Adam Chlipala |
Client-side timef |
Thu, 24 Nov 2011 11:09:50 -0500 |
Adam Chlipala |
Mention Basis.current in manual |