log src/urweb.lex

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