| Mon, 17 Oct 2022 12:15:23 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Oct 2022 11:58:13 +0200 | wenzelm | tuned signature, following hints by IntelliJ IDEA; | changeset | files |
| Sun, 16 Oct 2022 20:33:59 +0200 | wenzelm | more robust treatment of state and events; | changeset | files |