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 |
2008-10-12 |
Adam Chlipala |
Highlighting HTML tags |
2008-10-12 |
Adam Chlipala |
More indenting |
2008-10-12 |
Adam Chlipala |
Get type definitions font-locking again |
2008-10-12 |
Adam Chlipala |
Customized font faces |
2008-10-12 |
Adam Chlipala |
First sort-of-working run of urweb-mode |