Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Emacs mode: switch font-lock-cvariable-face to inherit from ↵ | 2016-09-01 | |
| | | | | font-lock-type-face, to avoid hardcoding of colors | ||
* | urweb-mode: do not configure require-final-newline | 2016-07-15 | |
| | | | | | | | Ur/Web source files do not require a final newline. Thus, require-final-newline is a personal setting and should not be configured in the major mode. Setting it here will also negatively impact helpers like ethan-wspace. | ||
* | Grandfathered into release: make urweb-mode keep working in Emacs 23 | 2015-10-18 | |
| | |||
* | Make urweb-mode inherit from prog-mode (contributed by Ziv Scully) | 2015-10-15 | |
| | |||
* | Fix XML indentation in Emacs mode | 2015-05-04 | |
| | | | | | | | | | | The return value of MATCH-STRING is a string. At least on Emacs 25, the comparisons between string and character with EQUAL could never succeed, and so the cases for matching braces were never triggered. GET-TEXT-PROPERTY may return a list rather than an atom (for example, on long lines with whitespace-mode turned on), and this broke the heuristic of looking for the tag face in previous text. | ||
* | Treat "style" as starting an expression in urweb-mode | 2015-05-05 | |
| | |||
* | Add urweb-mode command to close current XML tag | 2015-05-04 | |
| | | | | | Bound to "C-c /" by default to match nxml-mode's nxml-finish-element command. | ||
* | An Emacs urweb-mode optimization contributed by John Wiegley | 2015-02-11 | |
| | |||
* | New lessSafeFfi | 2014-05-02 | |
| | |||
* | Adjust error message format to match Emacs defaults | 2012-05-05 | |
| | |||
* | 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn) | 2012-02-02 | |
| | |||
* | Add LIKE operator to SQL sublanguage. | 2011-11-23 | |
| | |||
* | IF THEN ELSE conditional for SQL. | 2011-10-14 | |
| | |||
* | Tweaked Emacs mode to handle many "->" faster. | 2011-09-26 | |
| | |||
* | Minor tweak to speed up Emacs mode. | 2011-09-26 | |
| | |||
* | Improve detection of XML in urweb-mode; small tutorial improvement | 2011-08-02 | |
| | |||
* | Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds ↵ | 2011-07-22 | |
| | | | | and Basis.toSeconds | ||
* | First tutorial chapter ready | 2011-07-16 | |
| | |||
* | Tutorial tweaks | 2011-07-15 | |
| | |||
* | Pushing policies through | 2010-04-04 | |
| | |||
* | Convert to task syntax | 2009-12-15 | |
| | |||
* | Initializers and setval | 2009-12-13 | |
| | |||
* | Better record summary error messages; more tweaking SQL usability | 2009-12-13 | |
| | |||
* | SELECT DISTINCT; eta expansion during Cjrization | 2009-10-06 | |
| | |||
* | Fix relative precedence of ; and case-stuff | 2009-06-02 | |
| | |||
* | A view query works | 2009-04-28 | |
| | |||
* | INNER JOIN | 2009-04-28 | |
| | |||
* | style declarations | 2009-04-12 | |
| | |||
* | CHECK constraints | 2009-04-09 | |
| | |||
* | FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵ | 2009-04-07 | |
| | | | | lingering problems in row inference) | ||
* | Add primary keys to demo | 2009-04-07 | |
| | |||
* | "Hello world" compiles, after replacing type-level fold with map | 2009-02-21 | |
| | |||
* | Cookies through elaborate | 2008-11-06 | |
| | |||
* | Parsing 'let' | 2008-11-01 | |
| | |||
* | sml-util -> urweb-util | 2008-10-23 | |
| | |||
* | Fix XML indenting to ignore comparison operators | 2008-10-21 | |
| | |||
* | Fix XML detection in presence of comparison operators | 2008-10-21 | |
| | |||
* | Fix a nasty indent bug, found while working on listFun | 2008-10-19 | |
| | |||
* | Fixing overzealous SQL paren-nester | 2008-10-16 | |
| | |||
* | Indenting paren-nested SQL expressions | 2008-10-16 | |
| | |||
* | Indenting simple DML properly | 2008-10-16 | |
| | |||
* | Indenting SELECT sub-clauses properly | 2008-10-16 | |
| | |||
* | Crud auto-indented correctly | 2008-10-16 | |
| | |||
* | Fix problem with sig/struct indenting | 2008-10-16 | |
| | |||
* | Crud indented properly, except for <xml>...</xml> outside parens and sig/struct | 2008-10-16 | |
| | |||
* | Removed handling of <,> as operators, for now | 2008-10-16 | |
| | |||
* | Improving indentation of XML after antiquote | 2008-10-16 | |
| | |||
* | Proper indenting of normal ML-y code after </xml> | 2008-10-16 | |
| | |||
* | Special case indenting for <xml>...</xml> | 2008-10-16 | |
| | |||
* | Fix XML indent not to take two tab-tries | 2008-10-16 | |
| |