| changeset 78840 | 4b528ca25573 |
| parent 78746 | a748a244a028 |
| child 78854 | 35b406a5c105 |
--- a/src/Pure/System/isabelle_tool.scala Wed Oct 18 19:26:37 2023 +0200 +++ b/src/Pure/System/isabelle_tool.scala Wed Oct 18 19:49:08 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,