Initial version of interaction

[pspp-builds.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 08431782ee73a3f0997beb8fbdad032cff5fb5c5..da5339d5ebbe6260d85384428a96e3f8bcabca13 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,18 @@
+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.