log src/settings.sml

age author description
Tue, 11 Jan 2011 18:04:52 -0500 Adam Chlipala Some more string parsing functions; naughtyDebug
Sun, 26 Dec 2010 17:29:03 -0500 Adam Chlipala queryString and effectfulUrl
Fri, 24 Dec 2010 18:55:13 -0500 Adam Chlipala JavaScript compilation of time comparison; fix lexing of XML that includes open parens