| Sun, 26 Mar 2023 12:53:53 +0200 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Sun, 26 Mar 2023 12:41:34 +0200 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Fri, 24 Feb 2023 20:40:50 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 06 Feb 2023 16:29:19 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 28 Jan 2023 16:08:43 +0100 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Sat, 28 Jan 2023 15:38:36 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 28 Jan 2023 15:35:43 +0100 | wenzelm | clarified signature: more robust field_scale; | file | diff | annotate |
| Sat, 28 Jan 2023 15:04:15 +0100 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Fri, 27 Jan 2023 18:59:48 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 21 Apr 2022 10:03:38 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Thu, 31 Mar 2022 21:51:19 +0200 | wenzelm | tuned: avoid problems with scala3; | file | diff | annotate |
| Sat, 27 Nov 2021 14:03:44 +0100 | wenzelm | tuned output; | file | diff | annotate |
| Sat, 27 Nov 2021 13:55:03 +0100 | wenzelm | tuned; | 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 |