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