log src/urweb.lex

age author description
Tue, 10 Aug 2010 15:55:43 -0400 Adam Chlipala Better UTF-8 escaping for JavaScript and SQL literals
Tue, 10 Aug 2010 14:52:33 -0400 Adam Chlipala HTML comments
Tue, 10 Aug 2010 14:44:26 -0400 Adam Chlipala ML-style comments inside XML
Sun, 04 Apr 2010 12:29:34 -0400 Adam Chlipala Pushing policies through
Tue, 12 Jan 2010 16:09:13 -0500 Adam Chlipala Allow escaped backslashes in literals; conversion betwixt int and char
Tue, 29 Dec 2009 12:55:26 -0500 Adam Chlipala Octal and hexidecimal string escapes
Tue, 15 Dec 2009 10:19:05 -0500 Adam Chlipala Convert to task syntax