| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Mon, 17 May 2021 14:54:03 +0200 | wenzelm | more uniform use of Properties.Eq.unapply, with slightly changed semantics in boundary cases; | file | diff | annotate |
| Tue, 11 May 2021 16:30:24 +0200 | wenzelm | clarified platforms; | file | diff | annotate |
| Tue, 11 May 2021 13:06:36 +0200 | wenzelm | clarified platforms; | file | diff | annotate |
| Thu, 01 Oct 2020 16:31:22 +0200 | wenzelm | more systematic platform support, including arm64-linux; | file | diff | annotate |
| Wed, 30 Sep 2020 23:31:18 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 29 Sep 2020 20:00:59 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 29 Sep 2020 19:54:59 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 29 Sep 2020 19:49:25 +0200 | wenzelm | formal platform information, notably for ssh; | file | diff | annotate |