wenzelm [Fri, 13 Aug 2010 18:21:19 +0200] rev 38370
explicit Document.State value, instead of individual state variables in Session, Command, Document;
Session.snapshot: pure value based on Document.State;
Document.edit_texts: no treatment of state assignment here;