X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ChangeLog;h=ccb1e5b42a99aa634e88a5f8e772e9b987d88464;hb=e0d0265ba2c4c74d3f7c57a33a18014bd82c8d27;hp=08431782ee73a3f0997beb8fbdad032cff5fb5c5;hpb=018c7e17f96e0852fc80d0d4ef59df00f3cc8a28;p=pspp-builds.git

diff --git a/ChangeLog b/ChangeLog
index 08431782..ccb1e5b4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,27 @@
+2007-06-14  Ben Pfaff  <blp@gnu.org>
+
+	* Smake: Use xmalloca instead of xallocsa due to module renaming.
+	Update all uses.
+
+2007-06-06  Ben Pfaff  <blp@gnu.org>
+
+	* Smake: Add xallocsa to modules.
+
+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.