summaryrefslogtreecommitdiff
path: root/src/elisp
Commit message (Expand)AuthorAge
* FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingerin...Gravatar Adam Chlipala2009-04-07
* Add primary keys to demoGravatar Adam Chlipala2009-04-07
* "Hello world" compiles, after replacing type-level fold with mapGravatar Adam Chlipala2009-02-21
* Cookies through elaborateGravatar Adam Chlipala2008-11-06
* Parsing 'let'Gravatar Adam Chlipala2008-11-01
* sml-util -> urweb-utilGravatar Adam Chlipala2008-10-23
* Fix XML indenting to ignore comparison operatorsGravatar Adam Chlipala2008-10-21
* Fix XML detection in presence of comparison operatorsGravatar Adam Chlipala2008-10-21
* Fix a nasty indent bug, found while working on listFunGravatar Adam Chlipala2008-10-19
* Fixing overzealous SQL paren-nesterGravatar Adam Chlipala2008-10-16
* Indenting paren-nested SQL expressionsGravatar Adam Chlipala2008-10-16
* Indenting simple DML properlyGravatar Adam Chlipala2008-10-16
* Indenting SELECT sub-clauses properlyGravatar Adam Chlipala2008-10-16
* Crud auto-indented correctlyGravatar Adam Chlipala2008-10-16
* Fix problem with sig/struct indentingGravatar Adam Chlipala2008-10-16
* Crud indented properly, except for <xml>...</xml> outside parens and sig/structGravatar Adam Chlipala2008-10-16
* Removed handling of <,> as operators, for nowGravatar Adam Chlipala2008-10-16
* Improving indentation of XML after antiquoteGravatar Adam Chlipala2008-10-16
* Proper indenting of normal ML-y code after </xml>Gravatar Adam Chlipala2008-10-16
* Special case indenting for <xml>...</xml>Gravatar Adam Chlipala2008-10-16
* Fix XML indent not to take two tab-triesGravatar Adam Chlipala2008-10-16
* Reasonable indenting for pure XMLGravatar Adam Chlipala2008-10-16
* Reusable column handlers for CrudGravatar Adam Chlipala2008-10-14
* Syntax highlighting for embedded XMLGravatar Adam Chlipala2008-10-14
* Reorder font-lock rules to deal better with CDATAGravatar Adam Chlipala2008-10-13
* Good progress on highlighting embedded XMLGravatar Adam Chlipala2008-10-12
* Highlighting HTML tagsGravatar Adam Chlipala2008-10-12
* Basis indents and type-checks with new twiddle syntaxGravatar Adam Chlipala2008-10-12
* More indentingGravatar Adam Chlipala2008-10-12
* Get type definitions font-locking againGravatar Adam Chlipala2008-10-12
* Customized font facesGravatar Adam Chlipala2008-10-12
* First sort-of-working run of urweb-modeGravatar Adam Chlipala2008-10-12