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 |