changeset 77557 | eff08c3f89fe |
parent 77553 | 570f65953173 |
child 77564 | 57551ee13cfd |
--- a/src/Pure/System/isabelle_tool.scala Tue Mar 07 12:03:42 2023 +0100 +++ b/src/Pure/System/isabelle_tool.scala Tue Mar 07 12:06:01 2023 +0100 @@ -122,6 +122,7 @@ class Tools extends Isabelle_Scala_Tools( Build.isabelle_tool1, Build.isabelle_tool2, + Build.isabelle_tool3, Build_Docker.isabelle_tool, CI_Build.isabelle_tool, Doc.isabelle_tool,