log

age author description
Sun, 04 Apr 2010 14:37:19 -0400 Adam Chlipala Generated basic dummy Iflow conditions
Sun, 04 Apr 2010 12:29:34 -0400 Adam Chlipala Pushing policies through
Sat, 17 Apr 2010 13:57:10 -0400 Adam Chlipala Forward reference to URI convention
Thu, 01 Apr 2010 17:23:17 -0400 Adam Chlipala New release
Thu, 01 Apr 2010 17:21:16 -0400 Adam Chlipala Relational operators portability
Sun, 28 Mar 2010 10:10:35 -0400 Adam Chlipala Make SELECT FROM clauses optional
Thu, 25 Mar 2010 16:41:51 -0400 Adam Chlipala 'AS' clauses for expression columns may be omitted
Thu, 25 Mar 2010 16:27:10 -0400 Adam Chlipala Add subqueries to the manual
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
Thu, 25 Mar 2010 13:04:49 -0400 Adam Chlipala New release
Tue, 16 Mar 2010 16:17:02 -0400 Adam Chlipala More informative tag mismatch error message
Tue, 16 Mar 2010 16:02:54 -0400 Adam Chlipala Update manual for COUNT(col)
Tue, 16 Mar 2010 15:54:35 -0400 Adam Chlipala COUNT(col)
Tue, 16 Mar 2010 15:39:16 -0400 Adam Chlipala Remove unpoly1