Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Multi-file projects should work. | Artyom Shalkhakov | 2018-09-01 |
| | |||
* | Flycheck: improving multi-file support | Artyom Shalkhakov | 2018-08-31 |
| | |||
* | FlyCheck integration. | Artyom Shalkhakov | 2018-08-31 |
| | | | | | | | | | Some issues: - since Ur/Web expects to typecheck a project, we "guess" it (which may not be the exact project that you use, maybe we need to improve our heuristics) - lightly tested, but seems to work on my machine | ||
* | Emacs mode: switch font-lock-cvariable-face to inherit from ↵ | Adam Chlipala | 2016-09-01 |
| | | | | font-lock-type-face, to avoid hardcoding of colors | ||
* | urweb-mode: do not configure require-final-newline | Tuncer Ayaz | 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 | Adam Chlipala | 2015-10-18 |
| | |||
* | Make urweb-mode inherit from prog-mode (contributed by Ziv Scully) | Adam Chlipala | 2015-10-15 |
| | |||
* | Fix XML indentation in Emacs mode | Julian Squires | 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 | Julian Squires | 2015-05-05 |
| | |||
* | Add urweb-mode command to close current XML tag | Julian Squires | 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 | Adam Chlipala | 2015-02-11 |
| | |||
* | New lessSafeFfi | Adam Chlipala | 2014-05-02 |
| | |||
* | Adjust error message format to match Emacs defaults | Adam Chlipala | 2012-05-05 |
| | |||
* | 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn) | Adam Chlipala | 2012-02-02 |
| | |||
* | Add LIKE operator to SQL sublanguage. | Karn Kallio | 2011-11-23 |
| | |||
* | IF THEN ELSE conditional for SQL. | Karn Kallio | 2011-10-14 |
| | |||
* | Tweaked Emacs mode to handle many "->" faster. | Vladimir Shabanov | 2011-09-26 |
| | |||
* | Minor tweak to speed up Emacs mode. | Vladimir Shabanov | 2011-09-26 |
| | |||
* | Improve detection of XML in urweb-mode; small tutorial improvement | Adam Chlipala | 2011-08-02 |
| | |||
* | Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds ↵ | Adam Chlipala | 2011-07-22 |
| | | | | and Basis.toSeconds | ||
* | First tutorial chapter ready | Adam Chlipala | 2011-07-16 |
| | |||
* | Tutorial tweaks | Adam Chlipala | 2011-07-15 |
| | |||
* | Pushing policies through | Adam Chlipala | 2010-04-04 |
| | |||
* | Convert to task syntax | Adam Chlipala | 2009-12-15 |
| | |||
* | Initializers and setval | Adam Chlipala | 2009-12-13 |
| | |||
* | Better record summary error messages; more tweaking SQL usability | Adam Chlipala | 2009-12-13 |
| | |||
* | SELECT DISTINCT; eta expansion during Cjrization | Adam Chlipala | 2009-10-06 |
| | |||
* | Fix relative precedence of ; and case-stuff | Adam Chlipala | 2009-06-02 |
| | |||
* | A view query works | Adam Chlipala | 2009-04-28 |
| | |||
* | INNER JOIN | Adam Chlipala | 2009-04-28 |
| | |||
* | style declarations | Adam Chlipala | 2009-04-12 |
| | |||
* | CHECK constraints | Adam Chlipala | 2009-04-09 |
| | |||
* | FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵ | Adam Chlipala | 2009-04-07 |
| | | | | lingering problems in row inference) | ||
* | Add primary keys to demo | Adam Chlipala | 2009-04-07 |
| | |||
* | "Hello world" compiles, after replacing type-level fold with map | Adam Chlipala | 2009-02-21 |
| | |||
* | Cookies through elaborate | Adam Chlipala | 2008-11-06 |
| | |||
* | Parsing 'let' | Adam Chlipala | 2008-11-01 |
| | |||
* | sml-util -> urweb-util | Adam Chlipala | 2008-10-23 |
| | |||
* | Fix XML indenting to ignore comparison operators | Adam Chlipala | 2008-10-21 |
| | |||
* | Fix XML detection in presence of comparison operators | Adam Chlipala | 2008-10-21 |
| | |||
* | Fix a nasty indent bug, found while working on listFun | Adam Chlipala | 2008-10-19 |
| | |||
* | Fixing overzealous SQL paren-nester | Adam Chlipala | 2008-10-16 |
| | |||
* | Indenting paren-nested SQL expressions | Adam Chlipala | 2008-10-16 |
| | |||
* | Indenting simple DML properly | Adam Chlipala | 2008-10-16 |
| | |||
* | Indenting SELECT sub-clauses properly | Adam Chlipala | 2008-10-16 |
| | |||
* | Crud auto-indented correctly | Adam Chlipala | 2008-10-16 |
| | |||
* | Fix problem with sig/struct indenting | Adam Chlipala | 2008-10-16 |
| | |||
* | Crud indented properly, except for <xml>...</xml> outside parens and sig/struct | Adam Chlipala | 2008-10-16 |
| | |||
* | Removed handling of <,> as operators, for now | Adam Chlipala | 2008-10-16 |
| | |||
* | Improving indentation of XML after antiquote | Adam Chlipala | 2008-10-16 |
| |