# HG changeset patch
# User wenzelm
# Date 1252359740 -7200
# Node ID 8d41024ade63805310e532713ae4c733a08a37a2
# Parent  4f3e352dde8b225653da0ab0c3364fd67e6fceff
tuned;

diff -r 4f3e352dde8b -r 8d41024ade63 src/Tools/jEdit/src/proofdocument/ProofDocument.scala
--- 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)
 {