log CHANGELOG

age author description
2012-05-19 Adam Chlipala New release
2012-05-12 Adam Chlipala New release
2012-03-29 Adam Chlipala New release
2012-03-10 Adam Chlipala New release
2012-01-10 Adam Chlipala New release
2011-11-27 Adam Chlipala New release
2011-09-17 Adam Chlipala New release