Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Automatically add table annotations in UPDATE and DELETE | Adam Chlipala | 2008-09-07 |
| | |||
* | First UPDATE works | Adam Chlipala | 2008-09-07 |
| | |||
* | Scratch that change.... | Adam Chlipala | 2008-09-07 |
| | |||
* | Remove need to mention table name in expressions for UPDATE and DELETE | Adam Chlipala | 2008-09-07 |
| | |||
* | Parsing UPDATE | Adam Chlipala | 2008-09-07 |
| | |||
* | Elaborated 'update' | Adam Chlipala | 2008-09-07 |