+Mon Apr 3 11:03:36 2006 Ben Pfaff <blp@gnu.org>
+
+ * list.q: (write_all_headers) Adapt to new html and output
+ internals.
+ (clean_up) Ditto.
+ (write_varname) Ditto.
+ (write_fallback_headers) Ditto.
+ (determine_layout) Ditto.
+ (list_cases) Ditto.
+
+