X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ChangeLog;h=da5339d5ebbe6260d85384428a96e3f8bcabca13;hb=5715e8846c6e3a8dd539b2dc9c9c65640f84af76;hp=f4aa9fa563ec4bd99ca47a0bb10e89994ba56e21;hpb=8cd2dcd874841a5a7a64a42f76ee9d1fae5718ad;p=pspp-builds.git

diff --git a/ChangeLog b/ChangeLog
index f4aa9fa5..da5339d5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,26 @@
+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