log CHANGELOG

age author description
2014-12-06 Adam Chlipala New release
2014-08-30 Adam Chlipala New release
2014-08-19 Adam Chlipala New release
2014-08-07 Adam Chlipala New release
2014-07-04 Adam Chlipala New release
2014-06-15 Adam Chlipala New release
2014-05-31 Adam Chlipala New release