| Fri, 22 Apr 2022 16:47:13 +0200 | wenzelm | proper indentation; | file | diff | annotate |
| Thu, 21 Apr 2022 10:03:38 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 01 Apr 2022 23:19:12 +0200 | wenzelm | tuned formatting; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Mon, 12 Apr 2021 18:10:13 +0200 | wenzelm | clarified signature for Scala functions; | file | diff | annotate |
| Mon, 12 Apr 2021 14:14:47 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 11 Apr 2021 22:47:55 +0200 | wenzelm | more uniform use of Byte_Message; | file | diff | annotate |