| 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 |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Thu, 04 Mar 2021 15:41:46 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |