| 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 |