log src/compiler.sml

age author description
Tue, 10 Mar 2009 10:44:26 -0400 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
Sun, 08 Mar 2009 20:34:21 -0400 Adam Chlipala Conversion of functions to CPS, to facilitate ServerCall
Sun, 22 Feb 2009 16:33:55 -0500 Adam Chlipala Turned off termination checking, for now
Sat, 14 Feb 2009 14:07:56 -0500 Adam Chlipala Start of RPCification
Tue, 13 Jan 2009 15:17:11 -0500 Adam Chlipala Initial experiments with nested <dyn>
Sun, 21 Dec 2008 12:30:57 -0500 Adam Chlipala Handling singnal bind
Sat, 20 Dec 2008 14:19:21 -0500 Adam Chlipala Start of JsComp