src/Pure/PIDE/resources.scala

--- a/src/Pure/PIDE/resources.scala	Mon Apr 17 07:44:21 2017 +0200
+++ b/src/Pure/PIDE/resources.scala	Mon Apr 17 12:11:02 2017 +0200
@@ -28,11 +28,6 @@
   def append(dir: String, source_path: Path): String =
     (Path.explode(dir) + source_path).expand.implode
 
-  def append_file(dir: String, raw_name: String): String =
-    if (Path.is_valid(raw_name)) append(dir, Path.explode(raw_name))
-    else raw_name
-
-
 
   /* source files of Isabelle/ML bootstrap */