# HG changeset patch
# User wenzelm
# Date 1674568801 -3600
# Node ID 7a89ef6b02760085bbefbfbd99ffbfe4aa06afcc
# Parent  2310755b38ad5fa2ef58da2cc63ee38198568283
tuned;

diff -r 2310755b38ad -r 7a89ef6b0276 src/Pure/Admin/other_isabelle.scala
--- a/src/Pure/Admin/other_isabelle.scala	Tue Jan 24 14:55:19 2023 +0100
+++ b/src/Pure/Admin/other_isabelle.scala	Tue Jan 24 15:00:01 2023 +0100
@@ -24,8 +24,6 @@
   user_home: Path,
   progress: Progress
 ) {
-  other_isabelle =>
-
   override def toString: String = isabelle_home.toString
 
   if (proper_string(System.getenv("ISABELLE_SETTINGS_PRESENT")).isDefined) {
@@ -48,7 +46,7 @@
   }
 
   def getenv(name: String): String =
-    other_isabelle.bash("bin/isabelle getenv -b " + Bash.string(name)).check.out
+    bash("bin/isabelle getenv -b " + Bash.string(name)).check.out
 
   val isabelle_home_user: Path = Path.explode(getenv("ISABELLE_HOME_USER"))
 
@@ -56,10 +54,11 @@
   val etc_settings: Path = etc + Path.explode("settings")
   val etc_preferences: Path = etc + Path.explode("preferences")
 
-  def resolve_components(echo: Boolean): Unit = {
+  def resolve_components(echo: Boolean = false): Unit = {
     val missing = Path.split(getenv("ISABELLE_COMPONENTS_MISSING"))
     for (path <- missing) {
-      Components.resolve(path.dir, path.file_name, progress = if (echo) progress else new Progress)
+      Components.resolve(path.dir, path.file_name,
+        progress = if (echo) progress else new Progress)
     }
   }