1.1 --- a/src/Pure/General/symbol.scala	Thu Aug 21 13:05:28 2008 +0200
     1.2 +++ b/src/Pure/General/symbol.scala	Thu Aug 21 13:05:31 2008 +0200
     1.3 @@ -102,8 +102,8 @@
     1.4        }
     1.5      }
     1.6  
     1.7 -    private def read_symbols(base: String) = {
     1.8 -      val file = new File(base + File.separator + "etc" + File.separator + "symbols")
     1.9 +    private def read_symbols(path: String) = {
    1.10 +      val file = new File(IsabelleSystem.platform_path(path))
    1.11        if (file.canRead) {
    1.12          for (line <- Source.fromFile(file).getLines) read_line(line)
    1.13        }
    1.14 @@ -132,8 +132,8 @@
    1.15  
    1.16      /* constructor */
    1.17  
    1.18 -    read_symbols(IsabelleSystem.ISABELLE_HOME)
    1.19 -    read_symbols(IsabelleSystem.ISABELLE_HOME_USER)
    1.20 +    read_symbols("$ISABELLE_HOME/etc/symbols")
    1.21 +    read_symbols("$ISABELLE_HOME_USER/etc/symbols")
    1.22      init_recoders()
    1.23    }
    1.24