log src/elisp/urweb-mode.el

age author description
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