log CHANGELOG

age author description
2012-05-19 Adam Chlipala New release