changeset 76222 | 3c4e373922ca |
parent 76075 | 2e7211754ef1 |
child 76348 | a15f16e8ad18 |
--- a/src/Pure/System/isabelle_tool.scala Wed Sep 28 19:14:57 2022 +0100 +++ b/src/Pure/System/isabelle_tool.scala Thu Sep 29 13:58:26 2022 +0200 @@ -123,7 +123,7 @@ Build.isabelle_tool, Build_Docker.isabelle_tool, Build_Job.isabelle_tool, - CI_Build_Benchmark.isabelle_tool, + CI_Build.isabelle_tool, Doc.isabelle_tool, Document_Build.isabelle_tool, Dump.isabelle_tool,