Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Enhance table sig item support and get demo compiling again | Adam Chlipala | 2009-04-07 |
| | |||
* | New implicit argument handling | Adam Chlipala | 2008-10-21 |
| | |||
* | 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 |
| | |||
* | 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 |
| | |||
* | 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 |