wenzelm [Thu, 12 Aug 2010 13:49:08 +0200] rev 38642
specific Session.Commands_Changed;
wenzelm [Thu, 12 Aug 2010 13:43:55 +0200] rev 38641
consider snapshot as service of Session, not Document.Change;
wenzelm [Thu, 12 Aug 2010 13:42:05 +0200] rev 38640
tuned scope;
wenzelm [Wed, 11 Aug 2010 23:46:38 +0200] rev 38639
Document.print_id;
wenzelm [Wed, 11 Aug 2010 23:29:17 +0200] rev 38638
consider command state as part of Snapshot, not Document;
wenzelm [Wed, 11 Aug 2010 22:41:26 +0200] rev 38637
represent document ids by (long) int, to benefit from the somewhat faster Inttab in ML (LinearSet in Scala is invariably indexed by native object ids);
haftmann [Fri, 13 Aug 2010 16:40:47 +0200] rev 38636
robustified proof
haftmann [Fri, 13 Aug 2010 14:45:07 +0200] rev 38635
lemma execute_bind_case
haftmann [Fri, 13 Aug 2010 14:43:16 +0200] rev 38634
unit and bool are instances of heap
haftmann [Fri, 13 Aug 2010 14:41:27 +0200] rev 38633
merged