| Wed, 26 Feb 2020 16:03:29 +0100 | wenzelm | updated for release; | changeset | files |
| Wed, 26 Feb 2020 15:41:27 +0100 | wenzelm | updated version; | changeset | files |
| Wed, 26 Feb 2020 15:38:13 +0100 | wenzelm | obsolete; | changeset | files |
| Wed, 26 Feb 2020 15:38:04 +0100 | wenzelm | less ambitious preview: discontinued preview-update / preview-source which did not work on the spot via WebviewPanel; | changeset | files |
| Wed, 26 Feb 2020 15:34:52 +0100 | wenzelm | misc tuning and clarification; | changeset | files |
| Wed, 26 Feb 2020 14:47:36 +0100 | wenzelm | obsolete; | changeset | files |
| Wed, 26 Feb 2020 14:43:43 +0100 | wenzelm | proper message passing -- discontinued obsolete auxiliary commands; | changeset | files |