| Wed, 09 Nov 2022 13:33:32 +0100 | wenzelm | clarified file names; | changeset | files |
| Wed, 09 Nov 2022 13:21:18 +0100 | wenzelm | clarified Log_Progress vs. GUI: more like Syslog_Dockable; | changeset | files |
| Wed, 09 Nov 2022 12:32:20 +0100 | wenzelm | clarified signature: more public operations; | changeset | files |
| Wed, 09 Nov 2022 12:05:32 +0100 | wenzelm | tuned signature, following hints by IntelliJ IDEA; | changeset | files |