| 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 |
