equal
deleted
inserted
replaced
54 _settings.get |
54 _settings.get |
55 } |
55 } |
56 |
56 |
57 def init(isabelle_root: String = "", cygwin_root: String = ""): Unit = synchronized { |
57 def init(isabelle_root: String = "", cygwin_root: String = ""): Unit = synchronized { |
58 if (_settings.isEmpty) { |
58 if (_settings.isEmpty) { |
59 import scala.collection.JavaConversions._ |
|
60 |
|
61 val isabelle_root1 = |
59 val isabelle_root1 = |
62 bootstrap_directory(isabelle_root, "ISABELLE_ROOT", "isabelle.root", "Isabelle root") |
60 bootstrap_directory(isabelle_root, "ISABELLE_ROOT", "isabelle.root", "Isabelle root") |
63 |
61 |
64 val cygwin_root1 = |
62 val cygwin_root1 = |
65 if (Platform.is_windows) |
63 if (Platform.is_windows) |