equal
deleted
inserted
replaced
94 { |
94 { |
95 val isabelle_symbols = settings.getOrElse("ISABELLE_SYMBOLS", "") |
95 val isabelle_symbols = settings.getOrElse("ISABELLE_SYMBOLS", "") |
96 if (isabelle_symbols == "") error("Undefined environment variable: ISABELLE_SYMBOLS") |
96 if (isabelle_symbols == "") error("Undefined environment variable: ISABELLE_SYMBOLS") |
97 val files = |
97 val files = |
98 Path.split(isabelle_symbols).map(p => new File(standard_system.jvm_path(p.implode))) |
98 Path.split(isabelle_symbols).map(p => new File(standard_system.jvm_path(p.implode))) |
99 new Symbol.Interpretation(Standard_System.try_read(files).split("\n").toList) |
99 new Symbol.Interpretation(split_lines(Standard_System.try_read(files))) |
100 } |
100 } |
101 |
101 |
102 _state = Some(State(standard_system, settings, symbols)) |
102 _state = Some(State(standard_system, settings, symbols)) |
103 } |
103 } |
104 } |
104 } |