src/Tools/jEdit/src/plugin.scala
changeset 44721 ba478c3f7255
parent 44699 5199ee17c7d7
child 44864 e50557cb0eb6
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Mon Sep 05 14:42:31 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Mon Sep 05 20:30:37 2011 +0200
     1.3 @@ -27,8 +27,7 @@
     1.4  import org.gjt.sp.util.SyntaxUtilities
     1.5  import org.gjt.sp.util.Log
     1.6  
     1.7 -import scala.actors.Actor
     1.8 -import Actor._
     1.9 +import scala.actors.Actor._
    1.10  
    1.11  
    1.12  object Isabelle