Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Reading timestamps from SQL | Adam Chlipala | 2008-10-30 |
| | |||
* | Add time to some type classes | Adam Chlipala | 2008-10-30 |
| | |||
* | time type | Adam Chlipala | 2008-10-30 |
| | |||
* | Properly freeing libpq results on errors | Adam Chlipala | 2008-10-24 |
| | |||
* | Transactions seem to be working | Adam Chlipala | 2008-10-24 |
| | |||
* | New implicit argument handling | Adam Chlipala | 2008-10-21 |
| | |||
* | Recursive unurlify for Default datatypes | Adam Chlipala | 2008-10-21 |
| | |||
* | Simple listShop working | Adam Chlipala | 2008-10-21 |
| | |||
* | ord_string | Adam Chlipala | 2008-10-21 |
| | |||
* | ord_float and ord_bool | Adam Chlipala | 2008-10-21 |
| | |||
* | gt, ge | Adam Chlipala | 2008-10-21 |
| | |||
* | lt, le working for int | Adam Chlipala | 2008-10-21 |
| | |||
* | num_float | Adam Chlipala | 2008-10-21 |
| | |||
* | num working for int | Adam Chlipala | 2008-10-21 |
| | |||
* | Monoize eq_[bool|string] | Adam Chlipala | 2008-10-21 |
| | |||
* | Binops; equality tested on int; lame 404 substitute | Adam Chlipala | 2008-10-21 |
| | |||
* | Proper generation of relation names; checking that sequences exist | Adam Chlipala | 2008-10-19 |
| | |||
* | Simple generation of persistent paths | Adam Chlipala | 2008-10-19 |
| | |||
* | Fixing overzealous SQL paren-nester | Adam Chlipala | 2008-10-16 |
| | |||
* | Indenting paren-nested SQL expressions | Adam Chlipala | 2008-10-16 |
| | |||
* | Indenting simple DML properly | Adam Chlipala | 2008-10-16 |
| | |||
* | Indenting SELECT sub-clauses properly | Adam Chlipala | 2008-10-16 |
| | |||
* | Crud auto-indented correctly | Adam Chlipala | 2008-10-16 |
| | |||
* | Fix problem with sig/struct indenting | Adam Chlipala | 2008-10-16 |
| | |||
* | Crud indented properly, except for <xml>...</xml> outside parens and sig/struct | Adam Chlipala | 2008-10-16 |
| | |||
* | Removed handling of <,> as operators, for now | Adam Chlipala | 2008-10-16 |
| | |||
* | Improving indentation of XML after antiquote | Adam Chlipala | 2008-10-16 |
| | |||
* | Reusable column handlers for Crud | Adam Chlipala | 2008-10-14 |
| | |||
* | lform -> form | Adam Chlipala | 2008-10-14 |
| | |||
* | Syntax highlighting for embedded XML | Adam Chlipala | 2008-10-14 |
| | |||
* | Basis indents and type-checks with new twiddle syntax | Adam Chlipala | 2008-10-12 |
| | |||
* | More indenting | Adam Chlipala | 2008-10-12 |
| | |||
* | Get type definitions font-locking again | Adam Chlipala | 2008-10-12 |
| | |||
* | First sort-of-working run of urweb-mode | Adam Chlipala | 2008-10-12 |
| | |||
* | Expand cases where expression wildcards are allowed | Adam Chlipala | 2008-10-04 |
| | |||
* | Improved inference of records of tuples | Adam Chlipala | 2008-10-04 |
| | |||
* | Use checkbox in CRUD example | Adam Chlipala | 2008-10-04 |
| | |||
* | Small clean-ups in crud; Compiler.check | 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 |
| | |||
* | Deletion for Crud | Adam Chlipala | 2008-09-13 |
| | |||
* | Crud gets column headings | Adam Chlipala | 2008-09-13 |
| | |||
* | queryX | Adam Chlipala | 2008-09-13 |
| | |||
* | foldTRX2 | Adam Chlipala | 2008-09-13 |
| | |||
* | foldTR2 | Adam Chlipala | 2008-09-13 |
| | |||
* | Fix bug in subsignature check for con synonyms | Adam Chlipala | 2008-09-11 |
| | |||
* | Crud list works | Adam Chlipala | 2008-09-11 |
| | |||
* | Crud listing IDs | Adam Chlipala | 2008-09-11 |
| |