Sun, 06 Apr 2025 14:20:41 +0200 | haftmann | reflect nested lists in variables names | file | diff | annotate |
Sun, 30 Mar 2025 13:50:06 +0200 | haftmann | tuned namespace organisation | file | diff | annotate |
Fri, 05 Apr 2024 17:47:09 +0200 | wenzelm | adjust generated Scala to make it work with scalac -old-syntax and -new-syntax, although the latter is not regularly tested; | file | diff | annotate |
Tue, 29 Aug 2023 15:23:06 +0200 | wenzelm | clarified generated Scala, for the sake of "scalac -source 3.3"; | file | diff | annotate |
Fri, 24 Mar 2023 18:30:17 +0000 | haftmann | More explicit type information in dictionary arguments. | file | diff | annotate |
Fri, 24 Mar 2023 18:30:17 +0000 | haftmann | more uniform approach towards satisfied applications | file | diff | annotate |