--- a/src/Tools/jEdit/src/jedit_resources.scala Sat Aug 02 11:39:13 2014 +0200
+++ b/src/Tools/jEdit/src/jedit_resources.scala Sat Aug 02 12:24:30 2014 +0200
@@ -49,7 +49,8 @@
override def append(dir: String, source_path: Path): String =
{
val path = source_path.expand
- if (dir == "" || path.is_absolute) Isabelle_System.platform_path(path)
+ if (dir == "" || path.is_absolute)
+ MiscUtilities.resolveSymlinks(Isabelle_System.platform_path(path))
else if (path.is_current) dir
else {
val vfs = VFSManager.getVFSForPath(dir)