+2007-06-03 Ben Pfaff <blp@gnu.org>
+
+ Add ability for reverse iteration to tower code.
+
+ * tower.c (tower_last): New function.
+ (tower_prev): New function.
+ (abt_to_tower_node): New function.
+ (first_node): Use abt_to_tower_node.
+ (last_node): New function.
+ (next_ndoe): Use abt_to_tower_node.
+ (prev_node): New function.
+
+2007-06-03 Ben Pfaff <blp@gnu.org>
+
+ * tower.c: Cache repeated lookups of a single tower element. This
+ turns such lookups into O(1) operations without harming the big-O
+ of other operations.
+
+ * tower.h (struct tower): Add members for caching.
+
+ * range-set.c (range_set_clone): New function.
+
+ * array.c (insert_range): New function.
+ (insert_element): New function.
+ (move_range): New function.
+
+2007-04-25 Ben Pfaff <blp@gnu.org>
+
+ * model-checker.c: Don't use type sighandler_t, which is a GNU
+ extension. Reported by "Daniel E WILLIAMS"
+ <Daniel.E.Williams@state.or.us>.
+
+2007-04-25 John Darrington <john@darrington.wattle.id.au>
+
+ * i18n.c: Fixed bug converting long strings
+
2007-04-22 Ben Pfaff <blp@gnu.org>
Patch #5884.