log CHANGELOG

age author description
Tue, 15 Dec 2009 12:26:00 -0500 Adam Chlipala Initial generalization of Especialize, with security bug known
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 10:13:06 -0500 Adam Chlipala Tweaking SQL parsing and typing
Thu, 10 Dec 2009 13:32:09 -0500 Adam Chlipala Basis.url and redirects
Thu, 03 Dec 2009 14:32:47 -0500 Adam Chlipala New release
Thu, 26 Nov 2009 14:20:00 -0500 Adam Chlipala More fun with cookies
Tue, 24 Nov 2009 09:48:28 -0500 Adam Chlipala New release