changeset 78562 | 53e3fa5e3720 |
parent 78315 | addecc8de2c4 |
child 78746 | a748a244a028 |
--- a/src/Pure/System/isabelle_tool.scala Tue Aug 22 10:31:15 2023 +0200 +++ b/src/Pure/System/isabelle_tool.scala Tue Aug 22 10:34:27 2023 +0200 @@ -123,6 +123,7 @@ Build.isabelle_tool1, Build.isabelle_tool2, Build.isabelle_tool3, + Build.isabelle_tool4, CI_Build.isabelle_tool, Doc.isabelle_tool, Docker_Build.isabelle_tool,