# HG changeset patch # User wenzelm # Date 1219316731 -7200 # Node ID 68d40072e9e706db33e1a5a4ba0b262c389b4416 # Parent 7d12a7e3cc5525a8bc292f7d366eb0622b3aaabe read_symbols: proper IsabelleSystem.platform_path; diff -r 7d12a7e3cc55 -r 68d40072e9e7 src/Pure/General/symbol.scala --- a/src/Pure/General/symbol.scala Thu Aug 21 13:05:28 2008 +0200 +++ b/src/Pure/General/symbol.scala Thu Aug 21 13:05:31 2008 +0200 @@ -102,8 +102,8 @@ } } - private def read_symbols(base: String) = { - val file = new File(base + File.separator + "etc" + File.separator + "symbols") + private def read_symbols(path: String) = { + val file = new File(IsabelleSystem.platform_path(path)) if (file.canRead) { for (line <- Source.fromFile(file).getLines) read_line(line) } @@ -132,8 +132,8 @@ /* constructor */ - read_symbols(IsabelleSystem.ISABELLE_HOME) - read_symbols(IsabelleSystem.ISABELLE_HOME_USER) + read_symbols("$ISABELLE_HOME/etc/symbols") + read_symbols("$ISABELLE_HOME_USER/etc/symbols") init_recoders() }