src/Pure/PIDE/document.scala

     def bad_header(msg: String): Header = Header(Nil, Nil, Nil, List(msg))
 
     object Name
     {
       val empty = Name("", "", "")
-      def apply(path: Path): Name =
+      def apply(raw_path: Path): Name =
       {
+        val path = raw_path.expand
         val node = path.implode
         val dir = path.dir.implode
         val theory = Thy_Header.thy_name(node) getOrElse error("Bad theory file name: " + path)
         Name(node, dir, theory)
       }