Mon, 05 Dec 2011 10:43:06 -0500 |
Adam Chlipala |
Treat [naughtyDebug] as pure for optimization purposes |
Sun, 04 Dec 2011 16:32:06 -0500 |
Adam Chlipala |
Fix client-side [int] parsing and extend server-side [time] parsing to support a format that also works portably in JavaScript |
Sun, 04 Dec 2011 15:18:41 -0500 |
Adam Chlipala |
Make last change nicer |
Sun, 04 Dec 2011 15:13:53 -0500 |
Adam Chlipala |
Stop [read] from raising an exception for invalid [int] strings |
Sun, 04 Dec 2011 14:40:12 -0500 |
Adam Chlipala |
timeFormat .urp directive |
Sat, 03 Dec 2011 17:25:51 -0500 |
Adam Chlipala |
Don't crash on invalid URL head terms during Tag |
Sat, 03 Dec 2011 17:07:34 -0500 |
Adam Chlipala |
New 't.*' notation for SELECT |
Sat, 03 Dec 2011 16:39:45 -0500 |
Adam Chlipala |
Nicer record summary error messages |