log configure

age author description
Wed, 11 Dec 2013 17:11:32 -0500 Adam Chlipala Fix 'hidden' constraintdefault tip
Tue, 19 Jul 2011 09:27:10 -0400 Adam Chlipala Use uw_streq(); update to newer Autoconf