+2007-06-06 Ben Pfaff <blp@gnu.org>
+
+ * automake.mk: Add new file.
+
+ * datasheet-test.c: New file.
+
+2007-04-22 Ben Pfaff <blp@gnu.org>
+
+ Implement model checker for testing purposes.
+
+ Patch #5873.
+
+ * automake.mk: Add check-model.[ch].
+
+ * check-model.h: New file.
+
+ * check-model.q: New file.
+
+Thu Oct 26 20:19:19 2006 Ben Pfaff <blp@gnu.org>
+
+ * automake.mk: Add float-format.c.
+
+ * float-format.c: New file.
+
+Sat Oct 14 16:21:45 2006 Ben Pfaff <blp@gnu.org>
+
+ * casefile-test.c: (test_casereader_clone) Free cases that we
+ read, to avoid memory leak.
+
Tue Jun 6 18:48:00 2006 Ben Pfaff <blp@gnu.org>
* casefile-test.c: (test_casefile) Test the new casereader_seek()