src/Pure/System/isabelle_process.scala
changeset 39630 44181423183a
parent 39626 a5d0bcfb95a3
child 39632 6328e7a06f32
     1.1 --- a/src/Pure/System/isabelle_process.scala	Thu Sep 23 16:48:48 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Thu Sep 23 18:44:26 2010 +0200
     1.3 @@ -13,7 +13,6 @@
     1.4  
     1.5  import scala.actors.Actor
     1.6  import Actor._
     1.7 -import scala.collection.mutable
     1.8  
     1.9  
    1.10  object Isabelle_Process