| Thu, 13 Aug 2020 13:18:17 +0200 | wenzelm | misc tuning, based on hints by IntelliJ IDEA; | changeset | files |
| Thu, 13 Aug 2020 13:13:29 +0200 | wenzelm | clarified GUI; | changeset | files |
| Thu, 13 Aug 2020 12:59:41 +0200 | wenzelm | tuned GUI; | changeset | files |
| Thu, 13 Aug 2020 12:53:51 +0200 | wenzelm | tuned GUI; | changeset | files |
| Thu, 13 Aug 2020 12:38:44 +0200 | wenzelm | clarified order for GUI; | changeset | files |
| Thu, 13 Aug 2020 12:33:44 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 13 Aug 2020 12:29:39 +0200 | wenzelm | clarified GUI; | changeset | files |