changeset 77749 | 4649c7bfd3f0 |
parent 77619 | 6d0985955872 |
child 77753 | 2b5b093a1c08 |
--- a/src/Pure/System/isabelle_tool.scala Wed Mar 29 20:41:54 2023 +0200 +++ b/src/Pure/System/isabelle_tool.scala Wed Mar 29 20:56:43 2023 +0200 @@ -157,6 +157,7 @@ class Admin_Tools extends Isabelle_Scala_Tools( Build_Doc.isabelle_tool, + Build_Log.isabelle_tool, Build_Status.isabelle_tool, Check_Sources.isabelle_tool, Component_CSDP.isabelle_tool,