diff -r e26f102d2498 -r 5c70d1c27a2e src/Pure/System/isabelle_tool.scala
--- a/src/Pure/System/isabelle_tool.scala	Fri Oct 31 18:21:34 2025 +0100
+++ b/src/Pure/System/isabelle_tool.scala	Sat Nov 01 00:04:57 2025 +0100
@@ -163,8 +163,8 @@
   Update_Theorems.isabelle_tool,
   Update_Tool.isabelle_tool,
   isabelle.mirabelle.Mirabelle.isabelle_tool,
-  isabelle.vscode.Language_Server.isabelle_tool,
-  isabelle.vscode.VSCode_Main.isabelle_tool)
+  isabelle.vscode.VSCode_Main.isabelle_tool1,
+  isabelle.vscode.VSCode_Main.isabelle_tool2)
 
 class Admin_Tools extends Isabelle_Scala_Tools(
   Build_Doc.isabelle_tool,