log configure

age author description
Sun, 20 Mar 2011 13:47:39 -0400 Adam Chlipala '--without-emacs' configure option
Sun, 26 Dec 2010 15:52:56 -0500 Adam Chlipala Expose buffer type for other C libraries; replace minusSeconds with addSeconds
Sun, 26 Dec 2010 11:13:37 -0500 Adam Chlipala Switch from libmhash to OpenSSL