log src/urweb.lex

age author description
Fri, 04 May 2012 10:07:27 -0400 Adam Chlipala Reinitialize lexer state properly
Sun, 29 Apr 2012 13:17:31 -0400 Adam Chlipala Initial support for reusing elaboration results
Thu, 02 Feb 2012 11:40:10 -0500 Adam Chlipala 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
Wed, 23 Nov 2011 13:17:40 -0430 Karn Kallio Add LIKE operator to SQL sublanguage.
Sat, 19 Nov 2011 10:43:57 -0500 Adam Chlipala COALESCE
Sat, 05 Nov 2011 15:05:13 -0400 Adam Chlipala Support the full set of XHTML character entities
Sat, 05 Nov 2011 12:32:20 -0400 Adam Chlipala Adjust for different ml-lex behavior between SML/NJ and MLton
Fri, 14 Oct 2011 02:33:03 -0430 Karn Kallio IF THEN ELSE conditional for SQL.
Thu, 10 Mar 2011 19:26:35 -0500 Adam Chlipala Cope with DOS-format line breaks in source code
Fri, 24 Dec 2010 18:55:13 -0500 Adam Chlipala JavaScript compilation of time comparison; fix lexing of XML that includes open parens
Sun, 10 Oct 2010 20:33:10 -0400 Adam Chlipala :::_ notation; switch to TooDeep error message
Sun, 10 Oct 2010 13:07:38 -0400 Adam Chlipala Flex kinds for type-level tuples; ::_ notation
Thu, 16 Sep 2010 15:34:50 -0400 Adam Chlipala Fix typing of cut operators; fix lexing of XML comments
Tue, 10 Aug 2010 15:55:43 -0400 Adam Chlipala Better UTF-8 escaping for JavaScript and SQL literals