log CHANGELOG

age author description
Sun, 20 Dec 2015 14:25:46 -0500 Adam Chlipala New release
Sun, 22 Nov 2015 10:09:16 -0500 Adam Chlipala New release