Thu, 12 Aug 2010 13:49:08 +0200 | wenzelm | specific Session.Commands_Changed; | changeset | files |
Thu, 12 Aug 2010 13:43:55 +0200 | wenzelm | consider snapshot as service of Session, not Document.Change; | changeset | files |
Thu, 12 Aug 2010 13:42:05 +0200 | wenzelm | tuned scope; | changeset | files |