log CHANGELOG

age author description
2010-04-01 Adam Chlipala New release
2010-03-25 Adam Chlipala New release
2010-03-16 Adam Chlipala Update manual for COUNT(col)
2010-03-09 Adam Chlipala safeGet
2010-02-13 Adam Chlipala New release
2010-01-30 Adam Chlipala New release
2010-01-12 Adam Chlipala New release
2009-12-30 Adam Chlipala New release
2009-12-27 Adam Chlipala Dynamic linking of the runtime system
2009-12-26 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications
2009-12-15 Adam Chlipala Initial generalization of Especialize, with security bug known
2009-12-15 Adam Chlipala Convert to task syntax
2009-12-13 Adam Chlipala Initializers and setval
2009-12-13 Adam Chlipala Tweaking SQL parsing and typing
2009-12-10 Adam Chlipala Basis.url and redirects
2009-12-03 Adam Chlipala New release
2009-11-26 Adam Chlipala More fun with cookies
2009-11-24 Adam Chlipala New release
2009-11-08 Adam Chlipala New release
2009-10-25 Adam Chlipala Use call/cc for recv and sleep
2009-10-25 Adam Chlipala RPC uses VM support for call/cc
2009-10-12 Adam Chlipala New release
2009-10-09 Adam Chlipala Put right date stamp in CHANGELOG
2009-10-09 Adam Chlipala New release