--- 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
{