log src/cjr_print.sml

age author description
Thu, 11 Feb 2010 09:10:01 -0500 Adam Chlipala sigfile directive
Sun, 03 Jan 2010 15:58:34 -0500 Adam Chlipala Deadlines
Sun, 03 Jan 2010 12:47:27 -0500 Adam Chlipala Proper C-side deserialization; Shake.sliceDb
Sat, 02 Jan 2010 14:54:15 -0500 Adam Chlipala JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript
Sat, 02 Jan 2010 13:31:59 -0500 Adam Chlipala Proper 404 generation
Fri, 01 Jan 2010 12:48:06 -0500 Adam Chlipala Proper [un]urlification of unit
Thu, 31 Dec 2009 11:41:57 -0500 Adam Chlipala Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
Sun, 27 Dec 2009 10:37:24 -0500 Adam Chlipala All three current protocols work with move to using uw_app
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
Thu, 10 Dec 2009 13:32:09 -0500 Adam Chlipala Basis.url and redirects
Sat, 21 Nov 2009 15:48:08 -0500 Adam Chlipala Get message-passing working in IE6
Sun, 01 Nov 2009 10:20:20 -0500 Adam Chlipala Bidding interface
Thu, 22 Oct 2009 16:15:56 -0400 Adam Chlipala Initial support for char in SQL
Tue, 06 Oct 2009 17:36:45 -0400 Adam Chlipala Versioned1 demo working
Thu, 17 Sep 2009 09:25:03 -0400 Adam Chlipala Print char patterns in C
Sun, 13 Sep 2009 12:00:34 -0400 Adam Chlipala Have nullable columns working with Dbgrid
Wed, 09 Sep 2009 08:15:46 -0400 Adam Chlipala Find chances to use mstrcat()
Sun, 09 Aug 2009 16:13:27 -0400 Adam Chlipala Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
Sat, 18 Jul 2009 15:08:21 -0400 Adam Chlipala FFI manual section
Sat, 18 Jul 2009 11:01:48 -0400 Adam Chlipala More command-line options
Fri, 17 Jul 2009 12:58:37 -0400 Adam Chlipala MySQL CGI working
Fri, 17 Jul 2009 12:25:34 -0400 Adam Chlipala Testing nested queries
Thu, 16 Jul 2009 18:10:29 -0400 Adam Chlipala Demo working with MySQL
Thu, 16 Jul 2009 16:29:13 -0400 Adam Chlipala Sequence code compiles in MySQL
Thu, 16 Jul 2009 13:59:30 -0400 Adam Chlipala MySQL accepts generated demo DDL
Sun, 12 Jul 2009 15:05:40 -0400 Adam Chlipala MySQL demo/sql succeeds in reading no rows
Sun, 12 Jul 2009 13:16:05 -0400 Adam Chlipala MySQL query gets up to C linking
Tue, 30 Jun 2009 16:17:32 -0400 Adam Chlipala Validating views
Tue, 30 Jun 2009 15:45:10 -0400 Adam Chlipala Move all DBMS initialization to #init
Sun, 28 Jun 2009 16:41:10 -0400 Adam Chlipala Moved nextval code into Settings
Sun, 28 Jun 2009 16:22:17 -0400 Adam Chlipala Moved dml code into Settings