log CHANGELOG

age author description
Tue, 17 May 2011 16:02:19 -0400 Adam Chlipala Renumber version in CHANGELOG, since I wasn't ready to release as soon as I expected
Sun, 15 May 2011 13:16:58 -0400 Adam Chlipala New release
Sun, 23 Jan 2011 15:01:30 -0500 Adam Chlipala New release