# HG changeset patch
# User wenzelm
# Date 1248702672 -7200
# Node ID 410094a3419bf5c3c1d0bc570b00afe46fc4e416
# Parent  2740439a86b4ed5576acf43ee10ad6c766ab2a88
removed unused imports;

diff -r 2740439a86b4 -r 410094a3419b src/Tools/jEdit/src/proofdocument/ProofDocument.scala
--- a/src/Tools/jEdit/src/proofdocument/ProofDocument.scala	Wed Jul 15 13:49:21 2009 +0200
+++ b/src/Tools/jEdit/src/proofdocument/ProofDocument.scala	Mon Jul 27 15:51:12 2009 +0200
@@ -9,8 +9,6 @@
 package isabelle.proofdocument
 
 import scala.collection.mutable.ListBuffer
-import scala.actors.Actor
-import scala.actors.Actor._
 import java.util.regex.Pattern
 import isabelle.prover.{Prover, Command}
 import isabelle.utils.LinearSet
@@ -58,6 +56,8 @@
     new ProofDocument(id, tokens, token_start, commands, states, f)
 
   def content = Token.string_from_tokens(Nil ++ tokens, token_start)
+
+
   /** token view **/
 
   def text_changed(change: Text.Change): (ProofDocument, StructureChange) =