1.1 --- a/src/Tools/jEdit/src/prover/Prover.scala	Thu Mar 19 16:48:29 2009 +0100
     1.2 +++ b/src/Tools/jEdit/src/prover/Prover.scala	Fri Mar 20 11:57:21 2009 +0100
     1.3 @@ -145,7 +145,7 @@
     1.4  
     1.5                    // document edits
     1.6                    case XML.Elem(Markup.EDITS, (Markup.ID, doc_id) :: _, edits)
     1.7 -                  if document_versions.contains(doc_id) =>
     1.8 +                  if document_versions.exists(dv => doc_id == dv._1) =>
     1.9                      output_info.event(result.toString)
    1.10                      for {
    1.11                        XML.Elem(Markup.EDIT, (Markup.ID, cmd_id) :: (Markup.STATE, state_id) :: _, _)
    1.12 @@ -154,7 +154,7 @@
    1.13                        if (commands.contains(cmd_id)) {
    1.14                          val cmd = commands(cmd_id)
    1.15                          if (cmd.state_id != null) states -= cmd.state_id
    1.16 -                        states(cmd_id) = cmd
    1.17 +                        states(state_id) = cmd
    1.18                          cmd.state_id = state_id
    1.19                          cmd.status = Command.Status.UNPROCESSED
    1.20                          command_change(cmd)