| Fri, 27 Mar 2020 22:01:27 +0100 | wenzelm | misc tuning based on hints by IntelliJ IDEA; | file | diff | annotate |
| Fri, 27 Mar 2020 13:02:56 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 01 Mar 2019 21:29:59 +0100 | wenzelm | system option "system_heaps" supersedes various command-line options for "system build mode"; | file | diff | annotate |
| Sat, 29 Dec 2018 16:11:24 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 27 Dec 2018 16:56:53 +0100 | wenzelm | clarified defaults via system options; | file | diff | annotate |
| Thu, 13 Dec 2018 15:21:34 +0100 | wenzelm | clarified modules and signature; | file | diff | annotate |
| Tue, 18 Sep 2018 11:14:30 +0200 | wenzelm | tuned signature; | file | diff | annotate |