Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
Sat, 28 Nov 2020 20:14:46 +0100 | wenzelm | avoid conflicting base names; | file | diff | annotate |
Tue, 21 Apr 2020 19:07:11 +0200 | wenzelm | clarified imports; | file | diff | annotate |
Sat, 01 Jun 2019 21:43:41 +0200 | wenzelm | tuned imports -- accommodate scala-2.13.0-RC3; | file | diff | annotate |
Tue, 09 Jan 2018 20:15:36 +0100 | wenzelm | more accurate spell-checking for nested quotations / antiquotations, notably in formal comments; | file | diff | annotate |
Mon, 06 Nov 2017 16:03:13 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Tue, 20 Jun 2017 17:28:17 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Tue, 20 Jun 2017 17:08:24 +0200 | wenzelm | clarified modules; | file | diff | annotate |