src/Pure/Admin/other_isabelle.scala
changeset 67045 6c94f749410a
parent 65930 9a28fc03c3fe
child 67046 897f1ac84aab
     1.1 --- a/src/Pure/Admin/other_isabelle.scala	Sat Nov 11 15:52:07 2017 +0100
     1.2 +++ b/src/Pure/Admin/other_isabelle.scala	Sat Nov 11 16:01:02 2017 +0100
     1.3 @@ -7,7 +7,18 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 -class Other_Isabelle(progress: Progress, val isabelle_home: Path, val isabelle_identifier: String)
     1.8 +object Other_Isabelle
     1.9 +{
    1.10 +  def apply(isabelle_home: Path,
    1.11 +      isabelle_identifier: String,
    1.12 +      progress: Progress = No_Progress): Other_Isabelle =
    1.13 +    new Other_Isabelle(isabelle_home, isabelle_identifier, progress)
    1.14 +}
    1.15 +
    1.16 +class Other_Isabelle(
    1.17 +  val isabelle_home: Path,
    1.18 +  val isabelle_identifier: String,
    1.19 +  progress: Progress)
    1.20  {
    1.21    other_isabelle =>
    1.22