2009-10-06 |
Adam Chlipala |
SELECT DISTINCT; eta expansion during Cjrization |
2009-04-28 |
Adam Chlipala |
A view query works |
2009-04-28 |
Adam Chlipala |
INNER JOIN |
2009-04-12 |
Adam Chlipala |
style declarations |
2009-04-09 |
Adam Chlipala |
CHECK constraints |
2009-04-07 |
Adam Chlipala |
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference) |
2009-04-07 |
Adam Chlipala |
Add primary keys to demo |
2009-02-21 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
2008-11-06 |
Adam Chlipala |
Cookies through elaborate |
2008-11-01 |
Adam Chlipala |
Parsing 'let' |
2008-10-21 |
Adam Chlipala |
Fix XML indenting to ignore comparison operators |
2008-10-21 |
Adam Chlipala |
Fix XML detection in presence of comparison operators |
2008-10-19 |
Adam Chlipala |
Fix a nasty indent bug, found while working on listFun |
2008-10-16 |
Adam Chlipala |
Fixing overzealous SQL paren-nester |
2008-10-16 |
Adam Chlipala |
Indenting paren-nested SQL expressions |
2008-10-16 |
Adam Chlipala |
Indenting simple DML properly |
2008-10-16 |
Adam Chlipala |
Indenting SELECT sub-clauses properly |
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-16 |
Adam Chlipala |
Proper indenting of normal ML-y code after </xml> |
2008-10-16 |
Adam Chlipala |
Special case indenting for <xml>...</xml> |
2008-10-16 |
Adam Chlipala |
Fix XML indent not to take two tab-tries |
2008-10-16 |
Adam Chlipala |
Reasonable indenting for pure XML |
2008-10-14 |
Adam Chlipala |
Reusable column handlers for Crud |
2008-10-14 |
Adam Chlipala |
Syntax highlighting for embedded XML |
2008-10-13 |
Adam Chlipala |
Reorder font-lock rules to deal better with CDATA |
2008-10-13 |
Adam Chlipala |
Good progress on highlighting embedded XML |