| Wed, 09 Nov 2022 19:42:21 +0100 | wenzelm | clarified GUI.Selector, with support for separator as pseudo-entry; | changeset | files |
| Wed, 09 Nov 2022 14:20:52 +0100 | wenzelm | clarified GUI state; | changeset | files |
| 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 |
| Tue, 08 Nov 2022 08:41:48 +0100 | nipkow | merged | changeset | files |