# 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()
   }