log CHANGELOG

age author description
Sun, 26 Apr 2009 10:54:45 -0400 Adam Chlipala Blobs in CHANGELOG
Thu, 23 Apr 2009 16:13:02 -0400 Adam Chlipala Cookie signatures for RPCs