--- 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,