| 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 |