log src/effectize.sml

age author description
Thu, 12 Dec 2013 17:42:48 -0500 Adam Chlipala Start SQL transactions as read-only when possible, based on conservative program analysis
Wed, 17 Jul 2013 10:48:31 -0400 Adam Chlipala Make that error message even more helpful
Wed, 17 Jul 2013 10:40:13 -0400 Adam Chlipala Make that new error message text a bit more accurate
Wed, 17 Jul 2013 10:35:43 -0400 Adam Chlipala Tweak error message about naughty GET handlers
Tue, 16 Apr 2013 10:55:48 -0400 Adam Chlipala Basis.tryRpc
Fri, 18 Mar 2011 09:46:24 -0400 Adam Chlipala Fix soundness bug in Effectize, which lead to missing effects in event handlers
Thu, 10 Mar 2011 20:22:03 -0500 Adam Chlipala Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat carriage returns at line ends in .urp files