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