log src/urweb.grm

age author description
Sun, 10 Oct 2010 20:33:10 -0400 Adam Chlipala :::_ notation; switch to TooDeep error message
Sun, 10 Oct 2010 13:07:38 -0400 Adam Chlipala Flex kinds for type-level tuples; ::_ notation
Thu, 27 May 2010 15:10:52 -0400 Adam Chlipala Consider view declarations while shaking
Sun, 04 Apr 2010 12:29:34 -0400 Adam Chlipala Pushing policies through
Thu, 25 Mar 2010 16:41:51 -0400 Adam Chlipala 'AS' clauses for expression columns may be omitted
Thu, 25 Mar 2010 16:06:04 -0400 Adam Chlipala Subquery FROM items
Thu, 25 Mar 2010 15:44:24 -0400 Adam Chlipala Subquery expressions