Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned output;
authorwenzelm
Fri, 05 Sep 2025 20:28:58 +0200
changeset 83101 9ecea6b0f4ac
parent 83100 e75fbdf5c429
child 83102 fa5ab7b6a45b
tuned output;
src/Tools/VSCode/src/component_vscodium.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/component_vscodium.scala	Fri Sep 05 20:16:16 2025 +0200
+++ b/src/Tools/VSCode/src/component_vscodium.scala	Fri Sep 05 20:28:58 2025 +0200
@@ -23,7 +23,8 @@
     platform: Isabelle_Platform = Isabelle_Platform.local,
     version: String = "22.17.0"
   ) {
-    override def toString: String = "node-" + version
+    override def toString: String =
+      "node-" + version + "-" + platform.ISABELLE_PLATFORM(windows = true)
 
     def arch: String =
       if (platform.is_linux && platform.is_arm) "arm64" else "x64"
isabelle