changeset 80246 | 245dd5f82462 |
parent 80011 | b082476a8036 |
child 80273 | f55a11cd3b71 |
--- a/src/Pure/System/isabelle_tool.scala Tue Jun 04 09:02:18 2024 +0200 +++ b/src/Pure/System/isabelle_tool.scala Tue Jun 04 09:02:36 2024 +0200 @@ -127,6 +127,8 @@ Build.isabelle_tool3, Build.isabelle_tool4, Build_Benchmark.isabelle_tool, + Build_Manager.isabelle_tool, + Build_Manager.isabelle_tool1, Build_Schedule.isabelle_tool, CI_Build.isabelle_tool, Doc.isabelle_tool,