log tests/update.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 15:12:47 -0400 Adam Chlipala First UPDATE works
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:15:16 -0400 Adam Chlipala Parsing UPDATE
Sun, 07 Sep 2008 13:51:07 -0400 Adam Chlipala Elaborated 'update'