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