changeset 64605 | 9c1173a7e4cb |
parent 64500 | 159ea1055b39 |
child 64738 | bcdecd466cb2 |
--- a/src/Pure/System/isabelle_tool.scala Sun Dec 18 23:43:50 2016 +0100 +++ b/src/Pure/System/isabelle_tool.scala Mon Dec 19 20:27:49 2016 +0100 @@ -113,7 +113,8 @@ Update_Cartouches.isabelle_tool, Update_Header.isabelle_tool, Update_Then.isabelle_tool, - Update_Theorems.isabelle_tool) + Update_Theorems.isabelle_tool, + isabelle.vscode.Server.isabelle_tool) private def list_internal(): List[(String, String)] = for (tool <- internal_tools.toList if tool.accessible)