log src/cjr_print.sml

age author description
Sun, 16 May 2010 15:34:24 -0400 Adam Chlipala Fix C-mangling of datatype names
Thu, 25 Feb 2010 14:55:35 -0500 Adam Chlipala Use COALESCE to hide NULL results of aggregate functions; fix bug with improper ordering of query result columns
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