log

age author description
Sun, 22 May 2011 13:32:29 -0400 Adam Chlipala Prevent early clearing of context post data
Tue, 17 May 2011 16:02:19 -0400 Adam Chlipala Renumber version in CHANGELOG, since I wasn't ready to release as soon as I expected
Sun, 15 May 2011 17:20:08 -0400 Adam Chlipala Grandfather into release: Use latest Debian testing autotools, etc.