equal
deleted
inserted
replaced
200 |
200 |
201 |
201 |
202 /** symbol interpretation **/ |
202 /** symbol interpretation **/ |
203 |
203 |
204 private lazy val symbols = |
204 private lazy val symbols = |
205 new Interpretation(File.try_read(Path.split(Isabelle_System.getenv_strict("ISABELLE_SYMBOLS")))) |
205 new Interpretation(File.try_read(Path.split(Isabelle_System.getenv("ISABELLE_SYMBOLS")))) |
206 |
206 |
207 private class Interpretation(symbols_spec: String) |
207 private class Interpretation(symbols_spec: String) |
208 { |
208 { |
209 /* read symbols */ |
209 /* read symbols */ |
210 |
210 |