| Sat, 10 Dec 2022 20:31:47 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 10 Dec 2022 15:57:21 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 26 Aug 2022 21:34:09 +0200 | wenzelm | more robust: proper system_name; | file | diff | annotate |
| Mon, 04 Apr 2022 23:33:14 +0200 | wenzelm | clarified signature: avoid ambiguity in scala3; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Mon, 06 Dec 2021 15:34:54 +0100 | wenzelm | discontinued old-style {* verbatim *} tokens; | file | diff | annotate |
| Sat, 07 Sep 2019 12:11:42 +0200 | wenzelm | support for explicit session directories; | file | diff | annotate |