log src/urweb.lex

age author description
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)