--- a/src/Pure/System/isabelle_tool.scala Tue Mar 07 10:52:04 2017 +0100
+++ b/src/Pure/System/isabelle_tool.scala Tue Mar 07 13:55:49 2017 +0100
@@ -117,9 +117,9 @@
Update_Header.isabelle_tool,
Update_Then.isabelle_tool,
Update_Theorems.isabelle_tool,
+ isabelle.vscode.Build_VSCode.isabelle_tool,
isabelle.vscode.Grammar.isabelle_tool,
- isabelle.vscode.Server.isabelle_tool,
- isabelle.vscode.Symbols.isabelle_tool)
+ isabelle.vscode.Server.isabelle_tool)
private def list_internal(): List[(String, String)] =
for (tool <- internal_tools.toList if tool.accessible)