tuned imports;
authorwenzelm
Mon Sep 05 20:30:37 2011 +0200 (2011-09-05)
changeset 44721ba478c3f7255
parent 44720 f3a8c19708c8
child 44722 a8331fb5c959
tuned imports;
src/Pure/PIDE/xml.scala
src/Pure/System/session.scala
src/Tools/jEdit/src/plugin.scala
     1.1 --- a/src/Pure/PIDE/xml.scala	Mon Sep 05 14:42:31 2011 +0200
     1.2 +++ b/src/Pure/PIDE/xml.scala	Mon Sep 05 20:30:37 2011 +0200
     1.3 @@ -11,7 +11,6 @@
     1.4  import java.lang.ref.WeakReference
     1.5  import javax.xml.parsers.DocumentBuilderFactory
     1.6  
     1.7 -import scala.actors.Actor._
     1.8  import scala.collection.mutable
     1.9  
    1.10  
     2.1 --- a/src/Pure/System/session.scala	Mon Sep 05 14:42:31 2011 +0200
     2.2 +++ b/src/Pure/System/session.scala	Mon Sep 05 20:30:37 2011 +0200
     2.3 @@ -10,7 +10,6 @@
     2.4  import java.lang.System
     2.5  
     2.6  import scala.actors.TIMEOUT
     2.7 -import scala.actors.Actor
     2.8  import scala.actors.Actor._
     2.9  
    2.10  
     3.1 --- a/src/Tools/jEdit/src/plugin.scala	Mon Sep 05 14:42:31 2011 +0200
     3.2 +++ b/src/Tools/jEdit/src/plugin.scala	Mon Sep 05 20:30:37 2011 +0200
     3.3 @@ -27,8 +27,7 @@
     3.4  import org.gjt.sp.util.SyntaxUtilities
     3.5  import org.gjt.sp.util.Log
     3.6  
     3.7 -import scala.actors.Actor
     3.8 -import Actor._
     3.9 +import scala.actors.Actor._
    3.10  
    3.11  
    3.12  object Isabelle