log src/urweb.lex

age author description
Sun, 13 Dec 2009 14:20:41 -0500 Adam Chlipala Initializers and setval
Sun, 13 Dec 2009 11:28:47 -0500 Adam Chlipala Better record summary error messages; more tweaking SQL usability
Sat, 12 Dec 2009 14:51:10 -0500 Adam Chlipala Fix lexing of string literals in XML; treat EError as impure in MonoReduce
Tue, 06 Oct 2009 15:39:27 -0400 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization
Sun, 07 Jun 2009 12:01:55 -0400 Adam Chlipala && and ||
Tue, 02 Jun 2009 19:28:25 -0400 Adam Chlipala Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
Tue, 26 May 2009 12:25:06 -0400 Adam Chlipala Chars and more string operations