# HG changeset patch
# User wenzelm
# Date 1674468722 -3600
# Node ID 92509e4274eb46dc674080a0e8ce8f76ed70bf5c
# Parent  39f8051f71d422ce197b009f0996043f6805a255
tuned;

diff -r 39f8051f71d4 -r 92509e4274eb src/Pure/Admin/other_isabelle.scala
--- a/src/Pure/Admin/other_isabelle.scala	Sun Jan 22 23:29:34 2023 +0100
+++ b/src/Pure/Admin/other_isabelle.scala	Mon Jan 23 11:12:02 2023 +0100
@@ -8,11 +8,14 @@
 
 
 object Other_Isabelle {
-  def apply(isabelle_home: Path,
-      isabelle_identifier: String = "",
-      user_home: Path = Path.USER_HOME,
-      progress: Progress = new Progress): Other_Isabelle =
+  def apply(
+    isabelle_home: Path,
+    isabelle_identifier: String = "",
+    user_home: Path = Path.USER_HOME,
+    progress: Progress = new Progress
+  ): Other_Isabelle = {
     new Other_Isabelle(isabelle_home.canonical, isabelle_identifier, user_home, progress)
+  }
 }
 
 final class Other_Isabelle private(