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