log CHANGELOG

age author description
2013-12-31 Adam Chlipala New release
2013-11-24 Adam Chlipala New release
2013-04-21 Adam Chlipala New release
2012-09-25 Adam Chlipala New release
2012-08-07 Adam Chlipala New release
2012-05-19 Adam Chlipala New release
2012-05-12 Adam Chlipala New release