Fri, 27 Mar 2020 22:01:27 +0100 | wenzelm | misc tuning based on hints by IntelliJ IDEA; | file | diff | annotate |
Wed, 12 Dec 2018 12:31:05 +0100 | wenzelm | more uniform multi-language operations; | file | diff | annotate |
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 |