src/Pure/General/position.scala

--- a/src/Pure/General/position.scala	Fri Jul 27 13:33:34 2012 +0200
+++ b/src/Pure/General/position.scala	Fri Jul 27 14:09:59 2012 +0200
@@ -20,9 +20,6 @@
   val File = new Properties.String(Isabelle_Markup.FILE)
   val Id = new Properties.Long(Isabelle_Markup.ID)
 
-  def file(f: JFile): T = File(Isabelle_System.posix_path(f.toString))
-  def line_file(i: Int, f: JFile): T = Line(i) ::: file(f)
-
   object Range
   {
     def apply(range: Text.Range): T = Offset(range.start) ++ Offset(range.stop)