summaryrefslogtreecommitdiff
path: root/src/elisp
Commit message (Collapse)AuthorAge
* "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