| Thu, 05 Mar 2015 15:03:04 -0500 |
Adam Chlipala |
Hexadecimal integer literals, contributed by Gabriel Riba |
| Thu, 05 Mar 2015 14:50:31 -0500 |
Adam Chlipala |
Some new infix operators, contributed by Gabriel Riba |
| Tue, 25 Nov 2014 08:21:09 -0500 |
Adam Chlipala |
Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully) |
| Sun, 16 Nov 2014 14:39:38 -0500 |
Adam Chlipala |
Some more HTML5 input types |
| Fri, 02 May 2014 19:19:09 -0400 |
Adam Chlipala |
New lessSafeFfi |
| Thu, 27 Dec 2012 15:34:11 -0500 |
Adam Chlipala |
Add some name-mangling rules to allow XML attribute 'name' and attributes with dashes |
| Sun, 03 Jun 2012 11:29:31 -0400 |
Adam Chlipala |
Lighter-weight encoding of window function use |
| Sat, 02 Jun 2012 16:00:50 -0400 |
Adam Chlipala |
Compiled a window function use |
| 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 |
| 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 |
| Sun, 13 Dec 2009 14:20:41 -0500 |
Adam Chlipala |
Initializers and setval |
| Sun, 13 Dec 2009 11:28:47 -0500 |
Adam Chlipala |
Better record summary error messages; more tweaking SQL usability |
