log

age author description
Thu, 16 Apr 2009 15:38:01 -0400 Adam Chlipala Add more buttons to demo, to avoid effectful GET
Thu, 16 Apr 2009 15:29:39 -0400 Adam Chlipala Effectness analysis
Thu, 16 Apr 2009 14:49:25 -0400 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes
Thu, 16 Apr 2009 14:35:01 -0400 Adam Chlipala POST support
Thu, 16 Apr 2009 13:47:20 -0400 Adam Chlipala Some client-side error handling
Thu, 16 Apr 2009 13:00:40 -0400 Adam Chlipala Avoid thread death via message receive
Thu, 16 Apr 2009 12:43:55 -0400 Adam Chlipala Show XML
Thu, 16 Apr 2009 12:36:01 -0400 Adam Chlipala onError
Thu, 16 Apr 2009 12:07:21 -0400 Adam Chlipala Catching duplicate cookie and style paths
Thu, 16 Apr 2009 12:00:44 -0400 Adam Chlipala <link>
Mon, 13 Apr 2009 08:44:32 -0400 Adam Chlipala Simplify type class requirement for tree demo
Sun, 12 Apr 2009 14:21:19 -0400 Adam Chlipala Tiny increment to style test