# HG changeset patch
# User wenzelm
# Date 1398350867 -7200
# Node ID 2d0ca179e74903637cfce6efbac6a4f800409c42
# Parent  f96ad2b19c388013887fd59ec921743ab31af07b
tuned imports;

diff -r f96ad2b19c38 -r 2d0ca179e749 src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Thu Apr 24 16:19:11 2014 +0200
+++ b/src/Pure/System/isabelle_process.scala	Thu Apr 24 16:47:47 2014 +0200
@@ -8,12 +8,7 @@
 package isabelle
 
 
-import java.util.concurrent.LinkedBlockingQueue
-import java.io.{BufferedReader, BufferedWriter, InputStreamReader, OutputStreamWriter,
-  InputStream, OutputStream, BufferedOutputStream, IOException}
-
-import scala.actors.Actor
-import Actor._
+import java.io.{InputStream, OutputStream, BufferedOutputStream, IOException}
 
 
 class Isabelle_Process(