Thu, 31 May 2018 22:56:57 +0200 | wenzelm | more symbols; | changeset | files |
Thu, 31 May 2018 22:27:13 +0200 | wenzelm | Document.update includes node consolidation / presentation as regular print operation: avoid user operations on protocol thread; | changeset | files |
Thu, 31 May 2018 22:10:06 +0200 | wenzelm | clarified: consolidated result is last command; | changeset | files |