Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Some small changes while failing to write [restrict] | Adam Chlipala | 2008-11-08 | |
| | ||||
* | Resolve all tag named in [Basis]; deal with C compilation failure without ↵ | Adam Chlipala | 2008-11-08 | |
| | | | | leaving /tmp files | |||
* | Tree demo working (and other assorted regressions fixed) | Adam Chlipala | 2008-11-06 | |
| | ||||
* | Tree demo works | Adam Chlipala | 2008-11-06 | |
| | ||||
* | Inserted a NULL value | Adam Chlipala | 2008-11-06 | |
| | ||||
* | Cookies through explify | Adam Chlipala | 2008-11-06 | |
| | ||||
* | Cookies through elaborate | Adam Chlipala | 2008-11-06 | |
| | ||||
* | Parsing 'let' | Adam Chlipala | 2008-11-01 | |
| | ||||
* | Replace 'with' with '++' | Adam Chlipala | 2008-10-31 | |
| | ||||
* | CURRENT_TIMESTAMP | Adam Chlipala | 2008-10-30 | |
| | ||||
* | Remove need for '() <-' notation | Adam Chlipala | 2008-10-27 | |
| | ||||
* | New implicit argument handling | Adam Chlipala | 2008-10-21 | |
| | ||||
* | lt, le working for int | Adam Chlipala | 2008-10-21 | |
| | ||||
* | num working for int | Adam Chlipala | 2008-10-21 | |
| | ||||
* | lform -> form | Adam Chlipala | 2008-10-14 | |
| | ||||
* | Syntax highlighting for embedded XML | Adam Chlipala | 2008-10-14 | |
| | ||||
* | Basis and Top syntax-highlight, indent, parse, and type-check | Adam Chlipala | 2008-10-12 | |
| | ||||
* | Basis indents and type-checks with new twiddle syntax | Adam Chlipala | 2008-10-12 | |
| | ||||
* | Merge CDisjoint and TDisjoint | Adam Chlipala | 2008-10-04 | |
| | ||||
* | Crud completed | Adam Chlipala | 2008-09-14 | |
| | ||||
* | Crud update form | Adam Chlipala | 2008-09-14 | |
| | ||||
* | Crud supports INSERT | Adam Chlipala | 2008-09-14 | |
| | ||||
* | SQL sequences | Adam Chlipala | 2008-09-14 | |
| | ||||
* | foldTR2 | Adam Chlipala | 2008-09-13 | |
| | ||||
* | Crud listing IDs | Adam Chlipala | 2008-09-11 | |
| | ||||
* | Automatically add table annotations in UPDATE and DELETE | 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 DELETE | Adam Chlipala | 2008-09-07 | |
| | ||||
* | Parsing UPDATE | Adam Chlipala | 2008-09-07 | |
| | ||||
* | Parsing INSERT | Adam Chlipala | 2008-09-07 | |
| | ||||
* | Elaborated 'update' | Adam Chlipala | 2008-09-07 | |
| | ||||
* | Elaborated 'insert' | Adam Chlipala | 2008-09-07 | |
| | ||||
* | Monoize ASC/DESC | Adam Chlipala | 2008-08-31 | |
| | ||||
* | Add 'ne' to 'eq' type class | Adam Chlipala | 2008-08-31 | |
| | ||||
* | 'eq' type class | Adam Chlipala | 2008-08-31 | |
| | ||||
* | Laconic -> Ur | Adam Chlipala | 2008-08-31 | |