| 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 |