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