--- a/src/Tools/jEdit/src/proofdocument/ProofDocument.scala Mon Sep 07 23:23:59 2009 +0200
+++ b/src/Tools/jEdit/src/proofdocument/ProofDocument.scala Mon Sep 07 23:42:20 2009 +0200
@@ -9,7 +9,6 @@
package isabelle.proofdocument
import scala.actors.Actor, Actor._
-import scala.collection.mutable.ListBuffer
import java.util.regex.Pattern
@@ -48,7 +47,7 @@
val tokens: Linear_Set[Token],
val token_start: Map[Token, Int],
val commands: Linear_Set[Command],
- var states: Map[Command, Command_State],
+ var states: Map[Command, Command_State], // FIXME immutable
is_command_keyword: String => Boolean,
change_receiver: Actor)
{