2012-05-05 |
Adam Chlipala |
Adjust error message format to match Emacs defaults |
2012-02-02 |
Adam Chlipala |
'ORDER BY RANDOM' (based on a patch from Ron de Bruijn) |
2011-11-23 |
Karn Kallio |
Add LIKE operator to SQL sublanguage. |
2011-10-14 |
Karn Kallio |
IF THEN ELSE conditional for SQL. |
2011-09-25 |
Vladimir Shabanov |
Tweaked Emacs mode to handle many "->" faster. |
2011-09-25 |
Vladimir Shabanov |
Minor tweak to speed up Emacs mode. |
2011-08-02 |
Adam Chlipala |
Improve detection of XML in urweb-mode; small tutorial improvement |
2011-07-22 |
Adam Chlipala |
Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds |
2011-07-16 |
Adam Chlipala |
First tutorial chapter ready |
2011-07-15 |
Adam Chlipala |
Tutorial tweaks |
2010-04-04 |
Adam Chlipala |
Pushing policies through |
2009-12-15 |
Adam Chlipala |
Convert to task syntax |
2009-12-13 |
Adam Chlipala |
Initializers and setval |
2009-12-13 |
Adam Chlipala |
Better record summary error messages; more tweaking SQL usability |
2009-10-06 |
Adam Chlipala |
SELECT DISTINCT; eta expansion during Cjrization |
2009-04-28 |
Adam Chlipala |
A view query works |
2009-04-28 |
Adam Chlipala |
INNER JOIN |
2009-04-12 |
Adam Chlipala |
style declarations |
2009-04-09 |
Adam Chlipala |
CHECK constraints |
2009-04-07 |
Adam Chlipala |
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference) |
2009-04-07 |
Adam Chlipala |
Add primary keys to demo |
2009-02-21 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
2008-11-06 |
Adam Chlipala |
Cookies through elaborate |
2008-11-01 |
Adam Chlipala |
Parsing 'let' |
2008-10-21 |
Adam Chlipala |
Fix XML indenting to ignore comparison operators |
2008-10-21 |
Adam Chlipala |
Fix XML detection in presence of comparison operators |
2008-10-19 |
Adam Chlipala |
Fix a nasty indent bug, found while working on listFun |
2008-10-16 |
Adam Chlipala |
Fixing overzealous SQL paren-nester |
2008-10-16 |
Adam Chlipala |
Indenting paren-nested SQL expressions |
2008-10-16 |
Adam Chlipala |
Indenting simple DML properly |
2008-10-16 |
Adam Chlipala |
Indenting SELECT sub-clauses properly |
2008-10-16 |
Adam Chlipala |
Crud auto-indented correctly |
2008-10-16 |
Adam Chlipala |
Fix problem with sig/struct indenting |
2008-10-16 |
Adam Chlipala |
Crud indented properly, except for <xml>...</xml> outside parens and sig/struct |
2008-10-16 |
Adam Chlipala |
Removed handling of <,> as operators, for now |
2008-10-16 |
Adam Chlipala |
Improving indentation of XML after antiquote |
2008-10-16 |
Adam Chlipala |
Proper indenting of normal ML-y code after </xml> |
2008-10-16 |
Adam Chlipala |
Special case indenting for <xml>...</xml> |
2008-10-16 |
Adam Chlipala |
Fix XML indent not to take two tab-tries |
2008-10-16 |
Adam Chlipala |
Reasonable indenting for pure XML |
2008-10-14 |
Adam Chlipala |
Reusable column handlers for Crud |
2008-10-14 |
Adam Chlipala |
Syntax highlighting for embedded XML |
2008-10-13 |
Adam Chlipala |
Reorder font-lock rules to deal better with CDATA |
2008-10-13 |
Adam Chlipala |
Good progress on highlighting embedded XML |
2008-10-12 |
Adam Chlipala |
Highlighting HTML tags |
2008-10-12 |
Adam Chlipala |
More indenting |
2008-10-12 |
Adam Chlipala |
Get type definitions font-locking again |
2008-10-12 |
Adam Chlipala |
Customized font faces |
2008-10-12 |
Adam Chlipala |
First sort-of-working run of urweb-mode |