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