changeset 72414 | af24c0dd6975 |
parent 72411 | b8cc129ece05 |
child 72439 | 7f6800b2e8c2 |
--- a/src/Pure/System/isabelle_tool.scala Fri Oct 09 13:41:06 2020 +0200 +++ b/src/Pure/System/isabelle_tool.scala Fri Oct 09 20:54:26 2020 +0200 @@ -170,6 +170,7 @@ isabelle.vscode.Server.isabelle_tool) class Admin_Tools extends Isabelle_Scala_Tools( + Build_CSDP.isabelle_tool, Build_Cygwin.isabelle_tool, Build_Doc.isabelle_tool, Build_E.isabelle_tool,