log src/cjr_print.sml

age author description
Sat, 03 Mar 2012 16:41:20 -0500 Adam Chlipala Avoid URL size limit in RPCs with large arguments
Sat, 07 Jan 2012 16:49:19 -0500 Adam Chlipala Finish function argument order-of-operations fix
Sat, 07 Jan 2012 15:56:22 -0500 Adam Chlipala First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
Mon, 02 Jan 2012 17:08:39 -0500 Adam Chlipala Fix handling of quotes in generating C literals
Sat, 17 Dec 2011 09:24:31 -0500 Adam Chlipala Fix C-side unurlification of unboxable Option datatypes
Sun, 04 Dec 2011 14:40:12 -0500 Adam Chlipala timeFormat .urp directive
Sat, 03 Dec 2011 15:59:21 -0500 Adam Chlipala Better error messages about non-SQL-izability of types