log tests/crud.ur

age author description
2009-04-07 Adam Chlipala Enhance table sig item support and get demo compiling again
2008-10-21 Adam Chlipala New implicit argument handling
2008-10-16 Adam Chlipala Crud auto-indented correctly
2008-10-16 Adam Chlipala Fix problem with sig/struct indenting
2008-10-16 Adam Chlipala Crud indented properly, except for <xml>...</xml> outside parens and sig/struct
2008-10-16 Adam Chlipala Removed handling of <,> as operators, for now
2008-10-16 Adam Chlipala Improving indentation of XML after antiquote
2008-10-14 Adam Chlipala Reusable column handlers for Crud
2008-10-14 Adam Chlipala lform -> form
2008-10-14 Adam Chlipala Syntax highlighting for embedded XML
2008-10-04 Adam Chlipala Small clean-ups in crud; Compiler.check
2008-09-14 Adam Chlipala Crud completed
2008-09-14 Adam Chlipala Crud update form
2008-09-14 Adam Chlipala Crud supports INSERT
2008-09-14 Adam Chlipala Deletion for Crud
2008-09-14 Adam Chlipala Crud gets column headings
2008-09-13 Adam Chlipala queryX
2008-09-13 Adam Chlipala foldTRX2
2008-09-13 Adam Chlipala foldTR2
2008-09-11 Adam Chlipala Fix bug in subsignature check for con synonyms
2008-09-11 Adam Chlipala Crud list works
2008-09-11 Adam Chlipala Crud listing IDs