src/Pure/PIDE/resources.scala

--- a/src/Pure/PIDE/resources.scala	Mon Apr 17 12:11:02 2017 +0200
+++ b/src/Pure/PIDE/resources.scala	Mon Apr 17 12:20:45 2017 +0200
@@ -28,6 +28,9 @@
   def append(dir: String, source_path: Path): String =
     (Path.explode(dir) + source_path).expand.implode
 
+  def append(node_name: Document.Node.Name, source_path: Path): String =
+    append(node_name.master_dir, source_path)
+
 
   /* source files of Isabelle/ML bootstrap */