| 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 |
| Sun, 10 Dec 2017 20:29:00 +0100 | wenzelm | avoid println with its extra CR on Windows; | file | diff | annotate |
| Sun, 28 Feb 2016 17:40:01 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 27 Feb 2016 16:51:36 +0100 | wenzelm | tuned messages; | file | diff | annotate |
| Sat, 27 Feb 2016 16:37:06 +0100 | wenzelm | tuned messages; | file | diff | annotate |
| Sat, 27 Feb 2016 16:19:02 +0100 | wenzelm | support for command-line options as in GNU bash; | file | diff | annotate |