| Thu, 03 Mar 2022 17:30:43 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 03 Mar 2022 17:21:57 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 03 Mar 2022 17:15:30 +0100 | wenzelm | tuned, based on suggestions by IntelliJ IDEA; | changeset | files |
| Thu, 03 Mar 2022 17:13:24 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 03 Mar 2022 17:11:43 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 03 Mar 2022 16:46:05 +0100 | wenzelm | clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5); | changeset | files |
| Thu, 03 Mar 2022 16:18:27 +0100 | wenzelm | misc tuning, based on suggestions by IntelliJ IDEA; | changeset | files |
| Thu, 03 Mar 2022 16:05:02 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 03 Mar 2022 15:47:54 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 03 Mar 2022 15:39:51 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 03 Mar 2022 15:12:38 +0100 | wenzelm | tuned imports; | changeset | files |
| Thu, 03 Mar 2022 13:08:25 +0100 | wenzelm | clarified signature; | changeset | files |