equal
deleted
inserted
replaced
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |
10 class Other_Isabelle(progress: Progress, val isabelle_home: Path, val isabelle_identifier: String) |
10 object Other_Isabelle |
|
11 { |
|
12 def apply(isabelle_home: Path, |
|
13 isabelle_identifier: String, |
|
14 progress: Progress = No_Progress): Other_Isabelle = |
|
15 new Other_Isabelle(isabelle_home, isabelle_identifier, progress) |
|
16 } |
|
17 |
|
18 class Other_Isabelle( |
|
19 val isabelle_home: Path, |
|
20 val isabelle_identifier: String, |
|
21 progress: Progress) |
11 { |
22 { |
12 other_isabelle => |
23 other_isabelle => |
13 |
24 |
14 |
25 |
15 /* static system */ |
26 /* static system */ |