| Sat, 14 Oct 2023 15:16:40 +0200 | wenzelm | updated Linux baseline to Ubuntu 18.04; | file | diff | annotate |
| Tue, 29 Aug 2023 12:53:28 +0200 | wenzelm | misc tuning: support "scalac -source 3.3"; | file | diff | annotate |
| Mon, 06 Feb 2023 16:26:40 +0100 | 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 |
| Sat, 27 Feb 2021 18:04:29 +0100 | wenzelm | clarified modules: more like ML; | file | diff | annotate |
| Tue, 13 Oct 2020 19:29:28 +0200 | wenzelm | proper library names on Windows; | file | diff | annotate |