Tue, 13 Jan 2009 22:20:49 +0100 misc internal rearrangements;
wenzelm [Tue, 13 Jan 2009 22:20:49 +0100] rev 29468
misc internal rearrangements; fold_entries: really start from start, or optional position; added find_first_entries, find_first_entries; insert_entry: always invalidate next state; added refresh_states (partial version);
Tue, 13 Jan 2009 17:34:12 +0100 replaced sys_error by plain error;
wenzelm [Tue, 13 Jan 2009 17:34:12 +0100] rev 29467
replaced sys_error by plain error; some basic operations on command entries within a document;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip