Mon, 04 Jan 2010 19:08:10 +0100back to explicit management of documents -- not as generic Session.Entity -- to avoid ill-defined referencing of new states;
wenzelm [Mon, 04 Jan 2010 19:08:10 +0100] rev 34838
back to explicit management of documents -- not as generic Session.Entity -- to avoid ill-defined referencing of new states;
recent_document: require finished state assignment;
explicitly typed Session.lookup_command;

Mon, 04 Jan 2010 00:13:09 +0100slightly more uniform/robust handling of visible document;
wenzelm [Mon, 04 Jan 2010 00:13:09 +0100] rev 34837
slightly more uniform/robust handling of visible document;
uniform changed_delay for view updates;
misc tuning;

Sun, 03 Jan 2010 23:03:04 +0100recovered explicit Changed.id (copy of future document) -- avoids premature joining of result;
wenzelm [Sun, 03 Jan 2010 23:03:04 +0100] rev 34836
recovered explicit Changed.id (copy of future document) -- avoids premature joining of result;
Change.ancestors: frugal iterator;

Sun, 03 Jan 2010 20:50:07 +0100more explicit treatment of command/document state;
wenzelm [Sun, 03 Jan 2010 20:50:07 +0100] rev 34835
more explicit treatment of command/document state;
misc tuning and clarification;

Sun, 03 Jan 2010 19:53:58 +0100removed unused document_change bus;
wenzelm [Sun, 03 Jan 2010 19:53:58 +0100] rev 34834
removed unused document_change bus;

Fri, 01 Jan 2010 22:29:08 +0100tuned;
wenzelm [Fri, 01 Jan 2010 22:29:08 +0100] rev 34833
tuned;

Fri, 01 Jan 2010 22:20:54 +0100tuned;
wenzelm [Fri, 01 Jan 2010 22:20:54 +0100] rev 34832
tuned;

Fri, 01 Jan 2010 22:11:32 +0100misc tuning;
wenzelm [Fri, 01 Jan 2010 22:11:32 +0100] rev 34831
misc tuning;

Fri, 01 Jan 2010 21:53:00 +0100tuned Change: eliminated redundant copy of document id;
wenzelm [Fri, 01 Jan 2010 21:53:00 +0100] rev 34830
tuned Change: eliminated redundant copy of document id;

Fri, 01 Jan 2010 21:45:26 +0100eliminated redundant session documents database;
wenzelm [Fri, 01 Jan 2010 21:45:26 +0100] rev 34829
eliminated redundant session documents database;
tuned;