log CHANGELOG

age author description
Sun, 15 May 2011 13:16:58 -0400 Adam Chlipala New release
Sun, 23 Jan 2011 15:01:30 -0500 Adam Chlipala New release