--- 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(