changeset 77567 | b975f5aaf6b8 |
parent 77566 | 2a99fcb283ee |
child 77619 | 6d0985955872 |
--- a/src/Pure/System/isabelle_tool.scala Tue Mar 07 22:54:44 2023 +0100 +++ b/src/Pure/System/isabelle_tool.scala Tue Mar 07 23:02:52 2023 +0100 @@ -123,9 +123,9 @@ Build.isabelle_tool1, Build.isabelle_tool2, Build.isabelle_tool3, - Build_Docker.isabelle_tool, CI_Build.isabelle_tool, Doc.isabelle_tool, + Docker_Build.isabelle_tool, Document_Build.isabelle_tool, Dotnet_Setup.isabelle_tool, Dump.isabelle_tool,