| Tue, 29 Aug 2023 12:53:28 +0200 | wenzelm | misc tuning: support "scalac -source 3.3"; | file | diff | annotate |
| Sat, 09 Apr 2022 15:40:29 +0200 | wenzelm | more robust: avoid partiality; | file | diff | annotate |
| Sat, 09 Apr 2022 14:29:34 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 09 Apr 2022 12:02:38 +0200 | wenzelm | avoid pattern-match warnings, notably in scala3; | file | diff | annotate |
| Sat, 09 Apr 2022 11:56:48 +0200 | wenzelm | proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1; | file | diff | annotate |
| Sat, 09 Apr 2022 11:41:37 +0200 | wenzelm | proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1; | file | diff | annotate |