| changeset 78854 | 35b406a5c105 |
| parent 78827 | 06f0e720b913 |
| parent 78840 | 4b528ca25573 |
| child 79182 | 6202d0ff36b4 |
--- a/src/Pure/System/isabelle_tool.scala Fri Oct 27 18:27:06 2023 +0200 +++ b/src/Pure/System/isabelle_tool.scala Sat Oct 28 17:35:26 2023 +0200 @@ -120,6 +120,7 @@ class Isabelle_Scala_Tools(val tools: Isabelle_Tool*) extends Isabelle_System.Service class Tools extends Isabelle_Scala_Tools( + Benchmark.isabelle_tool, Build.isabelle_tool1, Build.isabelle_tool2, Build.isabelle_tool3,