+2007-04-22 Ben Pfaff <blp@gnu.org>
+
+ Implement model checker for testing purposes.
+
+ Patch #5873.
+
+ * Smake (GNULIB_MODULES): Add crypto/md4, fwriteerror,
+ gettimeofday.
+
+2007-04-03 Ben Pfaff <blp@gnu.org>
+
+ * configure.ac: Increment version to 0.4.3 due to snapshot posted
+ to alpha.gnu.org.
+ Suggested by John Darrington.
+
+2007-04-03 Ben Pfaff <blp@gnu.org>
+
+ Use Gnulib's fpieee module instead of specifying -mieee by hand.
+
+ * Smake: Use fpieee module from Gnulib.
+
+ * configure.ac: Don't enable -mieee.
+
2007-03-19 Ben Pfaff <blp@gnu.org>
Work toward modernizing the build system by updating our Automake