log src/effectize.sml

age author description
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