Mercurial > urweb
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 |
Sun, 26 Dec 2010 17:29:03 -0500 | Adam Chlipala | queryString and effectfulUrl |