--- a/src/Pure/System/isabelle_system.scala Mon Dec 28 14:51:03 2009 +0100
+++ b/src/Pure/System/isabelle_system.scala Mon Dec 28 16:24:19 2009 +0100
@@ -267,7 +267,7 @@
}) 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)
}
}
@@ -332,7 +332,7 @@
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
}