tuned imports;
authorwenzelm
Thu Apr 24 16:47:47 2014 +0200 (2014-04-24)
changeset 567032d0ca179e749
parent 56702 f96ad2b19c38
child 56704 c2f0ddd14747
tuned imports;
src/Pure/System/isabelle_process.scala
     1.1 --- a/src/Pure/System/isabelle_process.scala	Thu Apr 24 16:19:11 2014 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Thu Apr 24 16:47:47 2014 +0200
     1.3 @@ -8,12 +8,7 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 -import java.util.concurrent.LinkedBlockingQueue
     1.8 -import java.io.{BufferedReader, BufferedWriter, InputStreamReader, OutputStreamWriter,
     1.9 -  InputStream, OutputStream, BufferedOutputStream, IOException}
    1.10 -
    1.11 -import scala.actors.Actor
    1.12 -import Actor._
    1.13 +import java.io.{InputStream, OutputStream, BufferedOutputStream, IOException}
    1.14  
    1.15  
    1.16  class Isabelle_Process(