src/Tools/jEdit/src/proofdocument/ProofDocument.scala

--- a/src/Tools/jEdit/src/proofdocument/ProofDocument.scala	Fri Nov 28 15:34:52 2008 +0100
+++ b/src/Tools/jEdit/src/proofdocument/ProofDocument.scala	Fri Nov 28 15:51:40 2008 +0100
@@ -54,7 +54,9 @@
     tokens(firstToken, null)
 
   private def textChanged(start : Int, addedLen : Int, removedLen : Int) {
-    import Token.{checkStart, scan, checkStop}
+    val checkStart = Token.checkStart[C] _
+    val checkStop = Token.checkStop[C] _
+    val scan = Token.scan[C] _
     if (active == false)
       return