index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
urweb.lex
Commit message (
Expand
)
Author
Age
*
Merge.
Ziv Scully
2015-03-27
|
\
|
*
Hexadecimal integer literals, contributed by Gabriel Riba
Adam Chlipala
2015-03-05
|
*
Some new infix operators, contributed by Gabriel Riba
Adam Chlipala
2015-03-05
*
|
Basic field-resolution invalidation.
Ziv Scully
2014-11-29
|
*
Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully)
Adam Chlipala
2014-11-25
|
/
*
Some more HTML5 input types
Adam Chlipala
2014-11-16
*
New lessSafeFfi
Adam Chlipala
2014-05-02
*
Add some name-mangling rules to allow XML attribute 'name' and attributes wit...
Adam Chlipala
2012-12-27
*
Lighter-weight encoding of window function use
Adam Chlipala
2012-06-03
*
Compiled a window function use
Adam Chlipala
2012-06-02
*
Reinitialize lexer state properly
Adam Chlipala
2012-05-04
*
Initial support for reusing elaboration results
Adam Chlipala
2012-04-29
*
'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
Adam Chlipala
2012-02-02
*
Add LIKE operator to SQL sublanguage.
Karn Kallio
2011-11-23
*
COALESCE
Adam Chlipala
2011-11-19
*
Support the full set of XHTML character entities
Adam Chlipala
2011-11-05
*
Adjust for different ml-lex behavior between SML/NJ and MLton
Adam Chlipala
2011-11-05
*
IF THEN ELSE conditional for SQL.
Karn Kallio
2011-10-14
*
Cope with DOS-format line breaks in source code
Adam Chlipala
2011-03-10
*
JavaScript compilation of time comparison; fix lexing of XML that includes op...
Adam Chlipala
2010-12-24
*
:::_ notation; switch to TooDeep error message
Adam Chlipala
2010-10-10
*
Flex kinds for type-level tuples; ::_ notation
Adam Chlipala
2010-10-10
*
Fix typing of cut operators; fix lexing of XML comments
Adam Chlipala
2010-09-16
*
Better UTF-8 escaping for JavaScript and SQL literals
Adam Chlipala
2010-08-10
*
HTML comments
Adam Chlipala
2010-08-10
*
ML-style comments inside XML
Adam Chlipala
2010-08-10
*
Pushing policies through
Adam Chlipala
2010-04-04
*
Allow escaped backslashes in literals; conversion betwixt int and char
Adam Chlipala
2010-01-12
*
Octal and hexidecimal string escapes
Adam Chlipala
2009-12-29
*
Convert to task syntax
Adam Chlipala
2009-12-15
*
Initializers and setval
Adam Chlipala
2009-12-13
*
Better record summary error messages; more tweaking SQL usability
Adam Chlipala
2009-12-13
*
Fix lexing of string literals in XML; treat EError as impure in MonoReduce
Adam Chlipala
2009-12-12
*
SELECT DISTINCT; eta expansion during Cjrization
Adam Chlipala
2009-10-06
*
&& and ||
Adam Chlipala
2009-06-07
*
Lexing some more string escape sequences; JS versions of number read; fix pro...
Adam Chlipala
2009-06-02
*
Chars and more string operations
Adam Chlipala
2009-05-26
*
Lexing character entities
Adam Chlipala
2009-04-30
*
A view query works
Adam Chlipala
2009-04-28
*
RIGHT and FULL JOIN
Adam Chlipala
2009-04-28
*
LEFT JOIN
Adam Chlipala
2009-04-28
*
INNER JOIN
Adam Chlipala
2009-04-28
*
style declarations
Adam Chlipala
2009-04-12
*
CHECK constraints
Adam Chlipala
2009-04-09
*
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingerin...
Adam Chlipala
2009-04-07
*
PRIMARY KEY
Adam Chlipala
2009-04-07
*
UNIQUE constraints
Adam Chlipala
2009-04-07
*
Type class reductions, but no inclusions yet
Adam Chlipala
2009-03-26
*
Top.Fold.concat elaborates
Adam Chlipala
2009-02-24
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ...
Adam Chlipala
2009-02-22
[next]