# HG changeset patch # User wenzelm # Date 1636038175 -3600 # Node ID 80ae353b798e93a29d199368e6023beb78bd1b94 # Parent 55a4b319b2b9a7ec99facb8186bce357f6d748dc unused; diff -r 55a4b319b2b9 -r 80ae353b798e src/Pure/General/position.scala --- a/src/Pure/General/position.scala Thu Nov 04 15:57:21 2021 +0100 +++ b/src/Pure/General/position.scala Thu Nov 04 16:02:55 2021 +0100 @@ -7,9 +7,6 @@ package isabelle -import java.io.{File => JFile} - - object Position { type T = Properties.T