# HG changeset patch # User wenzelm # Date 1244572819 -7200 # Node ID 2c0b67a0e5e7d87ca31741432cd4593d75102667 # Parent 0466cb17064fb07424046aad0ec72ea60feadf03 tuned; diff -r 0466cb17064f -r 2c0b67a0e5e7 src/Pure/General/symbol.scala --- a/src/Pure/General/symbol.scala Tue Jun 09 20:29:23 2009 +0200 +++ b/src/Pure/General/symbol.scala Tue Jun 09 20:40:19 2009 +0200 @@ -6,8 +6,6 @@ package isabelle -import java.io.File - import scala.io.Source import scala.collection.jcl import scala.util.matching.Regex