--- a/src/Pure/Admin/other_isabelle.scala Sat Nov 11 15:52:07 2017 +0100
+++ b/src/Pure/Admin/other_isabelle.scala Sat Nov 11 16:01:02 2017 +0100
@@ -7,7 +7,18 @@
package isabelle
-class Other_Isabelle(progress: Progress, val isabelle_home: Path, val isabelle_identifier: String)
+object Other_Isabelle
+{
+ def apply(isabelle_home: Path,
+ isabelle_identifier: String,
+ progress: Progress = No_Progress): Other_Isabelle =
+ new Other_Isabelle(isabelle_home, isabelle_identifier, progress)
+}
+
+class Other_Isabelle(
+ val isabelle_home: Path,
+ val isabelle_identifier: String,
+ progress: Progress)
{
other_isabelle =>