# HG changeset patch
# User wenzelm
# Date 1342536863 -7200
# Node ID f14e564fca1aa58a7be67962094477f65d016113
# Parent  4bd480886813a133eb60dc4dfa1fda7202929c80
tuned imports;

diff -r 4bd480886813 -r f14e564fca1a src/Pure/General/symbol.scala
--- a/src/Pure/General/symbol.scala	Tue Jul 17 15:56:19 2012 +0200
+++ b/src/Pure/General/symbol.scala	Tue Jul 17 16:54:23 2012 +0200
@@ -6,7 +6,6 @@
 
 package isabelle
 
-import scala.io.Source
 import scala.collection.mutable
 import scala.util.matching.Regex
 
diff -r 4bd480886813 -r f14e564fca1a src/Pure/System/standard_system.scala
--- a/src/Pure/System/standard_system.scala	Tue Jul 17 15:56:19 2012 +0200
+++ b/src/Pure/System/standard_system.scala	Tue Jul 17 16:54:23 2012 +0200
@@ -16,7 +16,7 @@
   File, FileFilter, IOException}
 import java.nio.charset.Charset
 
-import scala.io.{Source, Codec}
+import scala.io.Codec
 import scala.util.matching.Regex
 import scala.collection.mutable
 
diff -r 4bd480886813 -r f14e564fca1a src/Tools/jEdit/src/isabelle_encoding.scala
--- a/src/Tools/jEdit/src/isabelle_encoding.scala	Tue Jul 17 15:56:19 2012 +0200
+++ b/src/Tools/jEdit/src/isabelle_encoding.scala	Tue Jul 17 16:54:23 2012 +0200
@@ -16,7 +16,7 @@
 import java.io.{InputStream, OutputStream, Reader, Writer, InputStreamReader, OutputStreamWriter,
   CharArrayReader, ByteArrayOutputStream}
 
-import scala.io.{Codec, Source, BufferedSource}
+import scala.io.{Codec, BufferedSource}
 
 
 object Isabelle_Encoding