| Sun, 19 Jul 2015 19:05:16 -0700 |
Ziv Scully |
Merge. |
| Fri, 27 Mar 2015 11:26:06 -0400 |
Ziv Scully |
Merge. |
| Sat, 29 Nov 2014 03:38:26 -0500 |
Ziv Scully |
Merge. |
| Sat, 29 Nov 2014 03:37:59 -0500 |
Ziv Scully |
Basic field-resolution invalidation. |
| Thu, 11 Jun 2015 19:06:32 -0400 |
Adam Chlipala |
Allow apostrophes in capitalized identifiers |
| Wed, 03 Jun 2015 08:34:23 +0200 |
Gabriel Riba Faura |
location literal _LOC_ |
| Thu, 28 May 2015 10:28:15 -0400 |
Adam Chlipala |
Remove duplicate lexer line |
| Thu, 28 May 2015 10:23:43 -0400 |
Adam Chlipala |
Handling overflow in integer literals (contributed by Gabriel Riba) |
| 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 |
