log

age author description
Sat, 30 Jan 2010 08:45:31 -0500 Adam Chlipala New release
Thu, 28 Jan 2010 20:10:32 -0500 Adam Chlipala Small tweaks
Thu, 28 Jan 2010 13:55:01 -0500 Adam Chlipala Run autoreconf at start of 'make reauto'