src/Pure/System/other_isabelle.scala

--- a/src/Pure/System/other_isabelle.scala	Wed Mar 27 10:54:47 2024 +0100
+++ b/src/Pure/System/other_isabelle.scala	Wed Mar 27 12:50:37 2024 +0100
@@ -36,6 +36,8 @@
   ssh: SSH.System,
   progress: Progress
 ) {
+  other_isabelle =>
+
   override def toString: String = isabelle_home_url
 
 
@@ -173,6 +175,7 @@
       clean_archives = clean_archives,
       component_repository = component_repository)
     scala_build(fresh = fresh, echo = echo)
+    Setup_Tool.init(other_isabelle)
   }