wenzelm [Mon, 08 Sep 2025 23:55:00 +0200] rev 83116
proper platform_context.execute for Windows/MinGW;
wenzelm [Mon, 08 Sep 2025 23:03:31 +0200] rev 83115
clarified signature: more options;
wenzelm [Mon, 08 Sep 2025 22:43:15 +0200] rev 83114
more accurate treatment of Windows/MinGW;
wenzelm [Mon, 08 Sep 2025 21:31:19 +0200] rev 83113
proper platform_context.execute, where this is meant to run on the native platform;
wenzelm [Mon, 08 Sep 2025 21:14:57 +0200] rev 83112
clarified signature: prefer Isabelle_Platform.Context, with pro-forma support for MinGW;
wenzelm [Mon, 08 Sep 2025 20:52:55 +0200] rev 83111
proper Path conversion for Windows (amending b7554954d697);
wenzelm [Mon, 08 Sep 2025 19:37:25 +0200] rev 83110
more robust: proper Bash.string;
wenzelm [Sun, 07 Sep 2025 14:43:20 +0200] rev 83109
more options: node_version, vscodium_version;
wenzelm [Sun, 07 Sep 2025 14:10:08 +0200] rev 83108
clarified signature and modules: more explicit Nodejs.setup;
wenzelm [Sun, 07 Sep 2025 13:16:34 +0200] rev 83107
clarified signature: more explicit packages;