--- 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(