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