src/Pure/General/path.scala

 roots (e.g. //foo) and variables (e.g. $BAR).
 */
 
 package isabelle
 
+
+import java.io.File
 
 import scala.util.matching.Regex
 
 
 object Path

         case x => List(x)
       }
 
     new Path(Path.norm_elems(elems.map(eval).flatten))
   }
+
+
+  /* platform file */
+
+  def file: File = Isabelle_System.platform_file(this)
 }