Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/isabelle_encoding.scala
changeset 48277 f14e564fca1a
parent 43695 5130dfe1b7be
child 50203 00d8ad713e32 
--- 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