src/Pure/PIDE/protocol.scala

--- a/src/Pure/PIDE/protocol.scala	Sat Apr 07 18:08:29 2012 +0200
+++ b/src/Pure/PIDE/protocol.scala	Sat Apr 07 19:28:44 2012 +0200
@@ -49,27 +49,27 @@
   }
 
   sealed case class Status(
-    private val parsed: Boolean = false,
+    private val accepted: Boolean = false,
     private val finished: Boolean = false,
     private val failed: Boolean = false,
     forks: Int = 0)
   {
-    def is_unprocessed: Boolean = parsed && !finished && !failed && forks == 0
+    def is_unprocessed: Boolean = accepted && !finished && !failed && forks == 0
     def is_running: Boolean = forks != 0
     def is_finished: Boolean = finished && forks == 0
     def is_failed: Boolean = failed && forks == 0
     def + (that: Status): Status =
-      Status(parsed || that.parsed, finished || that.finished,
+      Status(accepted || that.accepted, finished || that.finished,
         failed || that.failed, forks + that.forks)
   }
 
   val command_status_markup: Set[String] =
-    Set(Isabelle_Markup.PARSED, Isabelle_Markup.FINISHED, Isabelle_Markup.FAILED,
+    Set(Isabelle_Markup.ACCEPTED, Isabelle_Markup.FINISHED, Isabelle_Markup.FAILED,
       Isabelle_Markup.FORKED, Isabelle_Markup.JOINED)
 
   def command_status(status: Status, markup: Markup): Status =
     markup match {
-      case Markup(Isabelle_Markup.PARSED, _) => status.copy(parsed = true)
+      case Markup(Isabelle_Markup.ACCEPTED, _) => status.copy(accepted = true)
       case Markup(Isabelle_Markup.FINISHED, _) => status.copy(finished = true)
       case Markup(Isabelle_Markup.FAILED, _) => status.copy(failed = true)
       case Markup(Isabelle_Markup.FORKED, _) => status.copy(forks = status.forks + 1)