log src/cjr_env.sml

age author description
Tue, 07 Sep 2010 08:28:07 -0400 Adam Chlipala Server-side 'onError'
Tue, 15 Dec 2009 10:19:05 -0500 Adam Chlipala Convert to task syntax
Sun, 13 Dec 2009 14:20:41 -0500 Adam Chlipala Initializers and setval
Sat, 16 May 2009 16:02:17 -0400 Adam Chlipala Mutual datatypes through Cjrize
Tue, 28 Apr 2009 15:04:37 -0400 Adam Chlipala A view query works
Thu, 16 Apr 2009 12:07:21 -0400 Adam Chlipala Catching duplicate cookie and style paths
Sun, 12 Apr 2009 10:08:11 -0400 Adam Chlipala style declarations
Sat, 20 Dec 2008 16:19:26 -0500 Adam Chlipala Successfully generated a page element from a signal
Sun, 14 Sep 2008 11:02:18 -0400 Adam Chlipala SQL sequences
Sun, 07 Sep 2008 09:28:13 -0400 Adam Chlipala Ran a prepared statement with one string parameter
Tue, 02 Sep 2008 17:31:45 -0400 Adam Chlipala Compiling a parametrized query the inefficient way
Tue, 02 Sep 2008 13:09:54 -0400 Adam Chlipala Table declarations pushed to Cjr
Tue, 02 Sep 2008 10:51:41 -0400 Adam Chlipala 'database' declaration threaded through compiler
Sat, 09 Aug 2008 16:48:32 -0400 Adam Chlipala Lists all the way through
Sun, 03 Aug 2008 19:49:21 -0400 Adam Chlipala Datatype representation optimization
Sun, 03 Aug 2008 12:43:20 -0400 Adam Chlipala Compiled pattern matching to C
Sun, 03 Aug 2008 11:17:33 -0400 Adam Chlipala Cjrize ECon
Tue, 29 Jul 2008 15:43:17 -0400 Adam Chlipala Storing datatype constructors in type references past monoize
Tue, 29 Jul 2008 14:28:44 -0400 Adam Chlipala Start of unurlify for datatypes
Tue, 29 Jul 2008 13:50:53 -0400 Adam Chlipala Datatypes through cjrize, modulo decoding
Thu, 17 Jul 2008 11:02:10 -0400 Adam Chlipala Compiled (non-mutual) 'val rec'
Sun, 13 Jul 2008 20:24:05 -0400 Adam Chlipala Multiple arguments to web functions
Sun, 13 Jul 2008 10:17:06 -0400 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
Thu, 10 Jul 2008 11:13:49 -0400 Adam Chlipala First executable generated
Sun, 22 Jun 2008 14:23:05 -0400 Adam Chlipala Separate compilation and automatic basis importation
Tue, 10 Jun 2008 18:28:43 -0400 Adam Chlipala Translation to Cjr