--- a/src/Pure/Admin/component_spass.scala Fri Feb 16 11:15:43 2024 +0100 +++ b/src/Pure/Admin/component_spass.scala Fri Feb 16 11:25:11 2024 +0100 @@ -138,6 +138,7 @@ } } + /* Isabelle tool wrapper */ val isabelle_tool =