log src/urweb.lex

age author description
2012-12-27 Adam Chlipala Add some name-mangling rules to allow XML attribute 'name' and attributes with dashes
2012-06-03 Adam Chlipala Lighter-weight encoding of window function use
2012-06-02 Adam Chlipala Compiled a window function use
2012-05-04 Adam Chlipala Reinitialize lexer state properly
2012-04-29 Adam Chlipala Initial support for reusing elaboration results
2012-02-02 Adam Chlipala 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
2011-11-23 Karn Kallio Add LIKE operator to SQL sublanguage.
2011-11-19 Adam Chlipala COALESCE
2011-11-05 Adam Chlipala Support the full set of XHTML character entities
2011-11-05 Adam Chlipala Adjust for different ml-lex behavior between SML/NJ and MLton
2011-10-14 Karn Kallio IF THEN ELSE conditional for SQL.
2011-03-11 Adam Chlipala Cope with DOS-format line breaks in source code
2010-12-24 Adam Chlipala JavaScript compilation of time comparison; fix lexing of XML that includes open parens
2010-10-11 Adam Chlipala :::_ notation; switch to TooDeep error message
2010-10-10 Adam Chlipala Flex kinds for type-level tuples; ::_ notation
2010-09-16 Adam Chlipala Fix typing of cut operators; fix lexing of XML comments
2010-08-10 Adam Chlipala Better UTF-8 escaping for JavaScript and SQL literals
2010-08-10 Adam Chlipala HTML comments
2010-08-10 Adam Chlipala ML-style comments inside XML
2010-04-04 Adam Chlipala Pushing policies through
2010-01-12 Adam Chlipala Allow escaped backslashes in literals; conversion betwixt int and char
2009-12-29 Adam Chlipala Octal and hexidecimal string escapes
2009-12-15 Adam Chlipala Convert to task syntax
2009-12-13 Adam Chlipala Initializers and setval
2009-12-13 Adam Chlipala Better record summary error messages; more tweaking SQL usability
2009-12-12 Adam Chlipala Fix lexing of string literals in XML; treat EError as impure in MonoReduce
2009-10-06 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization
2009-06-07 Adam Chlipala && and ||
2009-06-02 Adam Chlipala Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
2009-05-26 Adam Chlipala Chars and more string operations