summaryrefslogtreecommitdiff
path: root/src/elisp
Commit message (Expand)AuthorAge
* Emacs mode: switch font-lock-cvariable-face to inherit from font-lock-type-fa...Gravatar Adam Chlipala2016-09-01
* urweb-mode: do not configure require-final-newlineGravatar Tuncer Ayaz2016-07-15
* Grandfathered into release: make urweb-mode keep working in Emacs 23Gravatar Adam Chlipala2015-10-18
* Make urweb-mode inherit from prog-mode (contributed by Ziv Scully)Gravatar Adam Chlipala2015-10-15
* Fix XML indentation in Emacs modeGravatar Julian Squires2015-05-04
* Treat "style" as starting an expression in urweb-modeGravatar Julian Squires2015-05-05
* Add urweb-mode command to close current XML tagGravatar Julian Squires2015-05-04
* An Emacs urweb-mode optimization contributed by John WiegleyGravatar Adam Chlipala2015-02-11
* New lessSafeFfiGravatar Adam Chlipala2014-05-02
* Adjust error message format to match Emacs defaultsGravatar Adam Chlipala2012-05-05
* 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)Gravatar Adam Chlipala2012-02-02
* Add LIKE operator to SQL sublanguage.Gravatar Karn Kallio2011-11-23
* IF THEN ELSE conditional for SQL.Gravatar Karn Kallio2011-10-14
* Tweaked Emacs mode to handle many "->" faster.Gravatar Vladimir Shabanov2011-09-26
* Minor tweak to speed up Emacs mode.Gravatar Vladimir Shabanov2011-09-26
* Improve detection of XML in urweb-mode; small tutorial improvementGravatar Adam Chlipala2011-08-02
* Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds a...Gravatar Adam Chlipala2011-07-22
* First tutorial chapter readyGravatar Adam Chlipala2011-07-16
* Tutorial tweaksGravatar Adam Chlipala2011-07-15
* Pushing policies throughGravatar Adam Chlipala2010-04-04
* Convert to task syntaxGravatar Adam Chlipala2009-12-15
* Initializers and setvalGravatar Adam Chlipala2009-12-13
* Better record summary error messages; more tweaking SQL usabilityGravatar Adam Chlipala2009-12-13
* SELECT DISTINCT; eta expansion during CjrizationGravatar Adam Chlipala2009-10-06
* Fix relative precedence of ; and case-stuffGravatar Adam Chlipala2009-06-02
* A view query worksGravatar Adam Chlipala2009-04-28
* INNER JOINGravatar Adam Chlipala2009-04-28
* style declarationsGravatar Adam Chlipala2009-04-12
* CHECK constraintsGravatar Adam Chlipala2009-04-09
* 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