diff -r 211ac6c4d4c9 -r d71ecec53c61 src/Tools/jEdit/src/proofdocument/proof_document.scala
--- a/src/Tools/jEdit/src/proofdocument/proof_document.scala	Tue Dec 29 15:00:11 2009 +0100
+++ b/src/Tools/jEdit/src/proofdocument/proof_document.scala	Tue Dec 29 15:33:39 2009 +0100
@@ -9,8 +9,6 @@
 package isabelle.proofdocument
 
 
-import scala.actors.Actor, Actor._
-
 import java.util.regex.Pattern
 
 
@@ -41,8 +39,8 @@
 
 class Proof_Document(
   val id: String,
-  val tokens: Linear_Set[Token],
-  val token_start: Map[Token, Int],
+  val tokens: Linear_Set[Token],   // FIXME plain List, inside Command
+  val token_start: Map[Token, Int],  // FIXME eliminate
   val commands: Linear_Set[Command],
   var states: Map[Command, Command_State])   // FIXME immutable
 {