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.
update to nodejs-22.18.0 and vscodium-1.104.06131;
authorwenzelm
Fri, 12 Sep 2025 19:22:41 +0200
changeset 83142 9316a0075326
parent 83141 11d4e7098a38
child 83143 49e341b48350
update to nodejs-22.18.0 and vscodium-1.104.06131;
src/Pure/System/nodejs.scala file | annotate | diff | comparison | revisions
src/Tools/VSCode/src/component_vscodium.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/nodejs.scala	Fri Sep 12 18:42:23 2025 +0200
+++ b/src/Pure/System/nodejs.scala	Fri Sep 12 19:22:41 2025 +0200
@@ -12,7 +12,7 @@
 object Nodejs {
   /** independent installation **/
 
-  val default_version = "22.17.0"
+  val default_version = "22.18.0"
 
   def setup(
     base_dir: Path,
--- a/src/Tools/VSCode/src/component_vscodium.scala	Fri Sep 12 18:42:23 2025 +0200
+++ b/src/Tools/VSCode/src/component_vscodium.scala	Fri Sep 12 19:22:41 2025 +0200
@@ -32,7 +32,7 @@
   /* vscode parameters */
 
   val default_node_version = Nodejs.default_version
-  val default_vscodium_version = "1.103.25610"
+  val default_vscodium_version = "1.104.06131"
 
   val vscodium_repository = "https://github.com/VSCodium/vscodium.git"
   val vscodium_download = "https://github.com/VSCodium/vscodium/releases/download"
isabelle