src/Pure/System/isabelle_system.scala

       try { file.isFile && file.canRead && file.canExecute }
       catch { case _: SecurityException => false }
     }) match {
       case Some(dir) =>
         Isabelle_System.process_output(
-          execute(true, (List(platform_path(dir + "/" + name)) ++ args): _*))
+          execute(true, (List(expand_path(dir + "/" + name)) ++ args): _*))
       case None => ("Unknown Isabelle tool: " + name, 2)
     }
   }
 
 

 
   /* symbols */
 
   private def read_symbols(path: String): List[String] =
   {
-    val file = new File(platform_path(path))
+    val file = platform_file(path)
     if (file.isFile) Source.fromFile(file).getLines.toList
     else Nil
   }
   val symbols = new Symbol.Interpretation(
     read_symbols("$ISABELLE_HOME/etc/symbols") :::