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
Mon, 27 Oct 2008 08:27:45 -0400 Adam Chlipala Remove need for '() <-' notation