| Fri, 13 Jun 2025 15:18:16 +0200 | wenzelm | more robust GUI setup via Java, instead of shell script; | file | diff | annotate |
| Tue, 06 May 2025 17:03:56 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Wed, 27 Mar 2024 17:11:46 +0100 | wenzelm | support for "all" platforms; | file | diff | annotate |
| Wed, 27 Mar 2024 17:04:37 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 26 Mar 2024 17:06:23 +0100 | wenzelm | clarified signature: explicit type Platform.Info with derived operations; | file | diff | annotate |
| Mon, 25 Mar 2024 14:47:53 +0100 | wenzelm | support for etc/platform.props, to specify multi-platform directory structure more accurately; | file | diff | annotate |
| Sat, 27 Jan 2024 22:15:40 +0100 | wenzelm | routine build + test for linux_arm; | file | diff | annotate |