--- a/src/Pure/System/isabelle_tool.scala Tue Jun 14 16:14:28 2022 +0200
+++ b/src/Pure/System/isabelle_tool.scala Wed Jun 15 13:37:35 2022 +0200
@@ -203,7 +203,8 @@
Update_Then.isabelle_tool,
Update_Theorems.isabelle_tool,
isabelle.mirabelle.Mirabelle.isabelle_tool,
- isabelle.vscode.Language_Server.isabelle_tool)
+ isabelle.vscode.Language_Server.isabelle_tool,
+ isabelle.vscode.VSCode_Main.isabelle_tool)
class Admin_Tools extends Isabelle_Scala_Tools(
Build_CSDP.isabelle_tool,
@@ -229,5 +230,4 @@
Components.isabelle_tool,
isabelle.vscode.Build_VSCode.isabelle_tool,
isabelle.vscode.Build_VSCodium.isabelle_tool1,
- isabelle.vscode.Build_VSCodium.isabelle_tool2,
- isabelle.vscode.VSCode_Main.isabelle_tool)
+ isabelle.vscode.Build_VSCodium.isabelle_tool2)