log src/cjr_print.sml

age author description
Thu, 13 Jan 2011 13:02:45 -0500 Adam Chlipala Infer more regions, for sequencing constructs
Thu, 06 Jan 2011 12:49:14 -0500 Adam Chlipala Ignore unknown names in query string name-value pairs; allow any side effects by Extern URLs, without signature checking
Thu, 06 Jan 2011 09:14:06 -0500 Adam Chlipala Detect missing 'database' directive; don't compile garbage C files