wenzelm [Sun, 03 Jan 2010 23:03:04 +0100] rev 34833
recovered explicit Changed.id (copy of future document) -- avoids premature joining of result;
Change.ancestors: frugal iterator;
wenzelm [Sun, 03 Jan 2010 20:50:07 +0100] rev 34832
more explicit treatment of command/document state;
misc tuning and clarification;
wenzelm [Sun, 03 Jan 2010 19:53:58 +0100] rev 34831
removed unused document_change bus;
wenzelm [Fri, 01 Jan 2010 22:29:08 +0100] rev 34830
tuned;
wenzelm [Fri, 01 Jan 2010 22:20:54 +0100] rev 34829
tuned;
wenzelm [Fri, 01 Jan 2010 22:11:32 +0100] rev 34828
misc tuning;
wenzelm [Fri, 01 Jan 2010 21:53:00 +0100] rev 34827
tuned Change: eliminated redundant copy of document id;
wenzelm [Fri, 01 Jan 2010 21:45:26 +0100] rev 34826
eliminated redundant session documents database;
tuned;
wenzelm [Fri, 01 Jan 2010 21:37:37 +0100] rev 34825
use isabelle.Future;
tuned;
wenzelm [Fri, 01 Jan 2010 17:29:35 +0100] rev 34824
renamed current_document to recent_document (might be a bit older than current_change);
Change: explicit future value of Document.Change instead of implicit lookup in Session database;
Document_Model: apply Document.text_edits here (as future);