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 |
| Thu, 23 Dec 2010 17:46:40 -0500 | Adam Chlipala | [De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types |
| Sat, 18 Dec 2010 15:17:09 -0500 | Adam Chlipala | Periodic tasks |
| Sat, 18 Dec 2010 14:17:45 -0500 | Adam Chlipala | Change tasks to support parametric code; add clientLeaves |
| Sat, 18 Dec 2010 10:56:31 -0500 | Adam Chlipala | postBody type |