| Tue, 29 Aug 2023 16:18:29 +0200 | wenzelm | clarified signature: prefer enum types; | changeset | files |
| Tue, 29 Aug 2023 15:49:19 +0200 | wenzelm | clarified signature: prefer enum types; | changeset | files |
| Tue, 29 Aug 2023 15:34:45 +0200 | wenzelm | clarified signature: prefer enum types; | changeset | files |
| Tue, 29 Aug 2023 15:23:06 +0200 | wenzelm | clarified generated Scala, for the sake of "scalac -source 3.3"; | changeset | files |
| Tue, 29 Aug 2023 13:05:32 +0200 | wenzelm | discontinue old Java 11 LTS; | changeset | files |
| Tue, 29 Aug 2023 12:53:28 +0200 | wenzelm | misc tuning: support "scalac -source 3.3"; | changeset | files |
| Tue, 29 Aug 2023 12:04:13 +0200 | wenzelm | obsolete (see b4e6b82fdb9e); | changeset | files |