equal
deleted
inserted
replaced
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |
10 object Other_Isabelle { |
10 object Other_Isabelle { |
11 def apply(isabelle_home: Path, |
11 def apply( |
12 isabelle_identifier: String = "", |
12 isabelle_home: Path, |
13 user_home: Path = Path.USER_HOME, |
13 isabelle_identifier: String = "", |
14 progress: Progress = new Progress): Other_Isabelle = |
14 user_home: Path = Path.USER_HOME, |
|
15 progress: Progress = new Progress |
|
16 ): Other_Isabelle = { |
15 new Other_Isabelle(isabelle_home.canonical, isabelle_identifier, user_home, progress) |
17 new Other_Isabelle(isabelle_home.canonical, isabelle_identifier, user_home, progress) |
|
18 } |
16 } |
19 } |
17 |
20 |
18 final class Other_Isabelle private( |
21 final class Other_Isabelle private( |
19 val isabelle_home: Path, |
22 val isabelle_home: Path, |
20 val isabelle_identifier: String, |
23 val isabelle_identifier: String, |