log CHANGELOG

age author description
Thu, 06 Nov 2008 15:37:38 -0500 Adam Chlipala Inserted a NULL value
Tue, 28 Oct 2008 15:05:16 -0400 Adam Chlipala GCCARGS configure option