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 |