| Sat, 27 Feb 2021 18:04:29 +0100 | wenzelm | clarified modules: more like ML; | file | diff | annotate |
| Tue, 13 Oct 2020 19:29:28 +0200 | wenzelm | proper library names on Windows; | file | diff | annotate |
| Tue, 13 Oct 2020 16:17:08 +0200 | wenzelm | more portable; | file | diff | annotate |
| Mon, 12 Oct 2020 15:58:37 +0200 | wenzelm | clarified Executable.libraries_closure; | file | diff | annotate |
| Sun, 11 Oct 2020 22:26:55 +0200 | wenzelm | support for platform-specific executables; | file | diff | annotate |