wenzelm [Fri, 05 Sep 2025 19:24:15 +0200] rev 83098
clarified signature: more explicit type Node_Context;
wenzelm [Fri, 05 Sep 2025 19:00:33 +0200] rev 83097
clarified signature;
wenzelm [Fri, 05 Sep 2025 13:59:55 +0200] rev 83096
tuned messages;
wenzelm [Fri, 05 Sep 2025 13:39:51 +0200] rev 83095
more uniform treatment of platforms: only one is active at a time;
wenzelm [Fri, 05 Sep 2025 13:34:28 +0200] rev 83094
clarified signature: prefer versatile Isabelle_Platform;
wenzelm [Fri, 05 Sep 2025 00:59:57 +0200] rev 83093
proper guard;
wenzelm [Fri, 05 Sep 2025 00:24:29 +0200] rev 83092
proper platform_ext for macos;
wenzelm [Thu, 04 Sep 2025 23:26:18 +0200] rev 83091
more recent node_version, to make build on macos work properly: 22.17.0 happens to be the version that is built into vscodium;
wenzelm [Thu, 04 Sep 2025 22:53:45 +0200] rev 83090
more thorough treatment of platform = Platform.family;
wenzelm [Thu, 04 Sep 2025 22:11:30 +0200] rev 83089
clarified platform check: discontinue notion of Platform.Family.linux as "master platform";