log tests/delete.ur

age author description
Sun, 07 Sep 2008 15:35:08 -0400 Adam Chlipala Automatically add table annotations in UPDATE and DELETE
Sun, 07 Sep 2008 14:38:14 -0400 Adam Chlipala Scratch that change....
Sun, 07 Sep 2008 14:30:32 -0400 Adam Chlipala Remove need to mention table name in expressions for UPDATE and DELETE
Sun, 07 Sep 2008 14:19:05 -0400 Adam Chlipala Parsing DELETE
Sun, 07 Sep 2008 13:52:42 -0400 Adam Chlipala Elaborated 'delete'