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