| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Sat, 07 Aug 2021 21:25:47 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 04 Mar 2021 21:04:27 +0100 | wenzelm | clarified signature --- fewer warnings; | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Mon, 06 Apr 2020 21:07:38 +0200 | wenzelm | more robust interrupt handling; | file | diff | annotate |
| Wed, 15 Jan 2020 19:54:50 +0100 | wenzelm | misc tuning, following hint by IntelliJ; | file | diff | annotate |
| Sat, 01 Jun 2019 21:43:03 +0200 | wenzelm | tuned -- accommodate scala-2.13.0-RC3; | file | diff | annotate |