changeset 80343 | 595b362ab851 |
parent 80273 | f55a11cd3b71 |
child 80412 | a7f8249533e9 |
--- a/src/Pure/System/isabelle_tool.scala Mon Jun 10 18:45:21 2024 +0200 +++ b/src/Pure/System/isabelle_tool.scala Tue Jun 11 08:58:22 2024 +0200 @@ -129,6 +129,7 @@ Build_Benchmark.isabelle_tool, Build_Manager.isabelle_tool, Build_Manager.isabelle_tool1, + Build_Manager.isabelle_tool2, Build_Schedule.isabelle_tool, CI_Build.isabelle_tool, Doc.isabelle_tool,