| Tue, 11 Dec 2018 23:59:41 +0100 | wenzelm | more operations (as in ML); | file | diff | annotate |
| Sat, 08 Sep 2018 13:22:23 +0200 | wenzelm | more accurate output; | file | diff | annotate |
| Sat, 08 Sep 2018 12:18:15 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 05 Sep 2016 22:09:52 +0200 | wenzelm | clarified modules; | file | diff | annotate |