# HG changeset patch
# User wenzelm
# Date 1655293055 -7200
# Node ID e7e2285cf800fb50844868dd19884b099f1ef9db
# Parent  b6239ed66b948515b5ac651ee72c44d17470fc4a
"isabelle vscode" is regular user-space tool;

diff -r b6239ed66b94 -r e7e2285cf800 src/Pure/System/isabelle_tool.scala
--- 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)