| changeset 69429 | dc5fbcb07c7b |
| parent 69401 | 7a1b7b737c02 |
| child 69557 | e72360fef69a |
--- a/src/Pure/System/isabelle_tool.scala Sat Dec 08 21:21:14 2018 +0100 +++ b/src/Pure/System/isabelle_tool.scala Sat Dec 08 22:31:34 2018 +0100 @@ -172,4 +172,5 @@ Build_PolyML.isabelle_tool2, Build_Status.isabelle_tool, Check_Sources.isabelle_tool, + Components.isabelle_tool, isabelle.vscode.Build_VSCode.isabelle_tool)