Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned imports;
authorwenzelm
Tue, 17 Jul 2012 16:54:23 +0200
changeset 48277 f14e564fca1a
parent 48276 4bd480886813
child 48278 2b737f639ad4
tuned imports;
src/Pure/General/symbol.scala file | annotate | diff | comparison | revisions
src/Pure/System/standard_system.scala file | annotate | diff | comparison | revisions
src/Tools/jEdit/src/isabelle_encoding.scala file | annotate | diff | comparison | revisions 
--- 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
 
--- 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
 
--- 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
isabelle