diff -r daf13aec9f04 -r a4380a2d6d2c src/Pure/Admin/other_isabelle.scala
--- a/src/Pure/Admin/other_isabelle.scala	Sun Jan 22 22:19:28 2023 +0100
+++ b/src/Pure/Admin/other_isabelle.scala	Sun Jan 22 22:26:50 2023 +0100
@@ -44,23 +44,14 @@
       env = null, cwd = isabelle_home.file, redirect = redirect, echo = echo, strict = strict)
   }
 
-  def apply(
-    cmdline: String,
-    redirect: Boolean = false,
-    echo: Boolean = false,
-    strict: Boolean = true
-  ): Process_Result = {
-    bash("bin/isabelle " + cmdline, redirect = redirect, echo = echo, strict = strict)
-  }
-
   def resolve_components(echo: Boolean): Unit = {
-    other_isabelle(
-      "env ISABELLE_TOOLS=" + Bash.string(Isabelle_System.getenv("ISABELLE_TOOLS")) +
+    other_isabelle.bash(
+      "bin/isabelle env ISABELLE_TOOLS=" + Bash.string(Isabelle_System.getenv("ISABELLE_TOOLS")) +
       " isabelle components -a", redirect = true, echo = echo).check
   }
 
   def getenv(name: String): String =
-    other_isabelle("getenv -b " + Bash.string(name)).check.out
+    other_isabelle.bash("bin/isabelle getenv -b " + Bash.string(name)).check.out
 
   val isabelle_home_user: Path = Path.explode(getenv("ISABELLE_HOME_USER"))