| Wed, 09 Dec 2020 15:14:24 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 05 Oct 2020 21:15:58 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 08 Apr 2020 14:09:32 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 27 Mar 2020 22:01:27 +0100 | wenzelm | misc tuning based on hints by IntelliJ IDEA; | file | diff | annotate |
| Wed, 15 Jan 2020 19:54:50 +0100 | wenzelm | misc tuning, following hint by IntelliJ; | file | diff | annotate |
| Wed, 28 Nov 2018 16:18:40 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 28 Nov 2018 16:14:31 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 20 May 2018 11:57:17 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
| Mon, 06 Nov 2017 16:03:13 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 20 Jun 2017 11:19:06 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 19 Jun 2017 20:32:06 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 19 Jun 2017 19:59:13 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 01 Jun 2017 21:43:36 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 04 Apr 2017 15:05:00 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Tue, 07 Mar 2017 14:33:14 +0100 | wenzelm | clarified modules: spell-checker in Pure; | file | diff | annotate |