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 |