+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.