src/Tools/jEdit/src/prover/Prover.scala

         }
       }
     }
     else {
       val tree = YXML.parse_failsafe(isabelle_symbols.decode(r.result))
-      if (st == null || (st.phase != Command.Phase.REMOVED && st.phase != Command.Phase.REMOVE)) {
+      if (st == null || (st.status != Command.Status.REMOVED && st.status != Command.Status.REMOVE)) {
         r.kind match {
 
           case IsabelleProcess.Kind.STATUS =>
             //{{{ handle all kinds of status messages here
             tree match {

                 for (elem <- elems) {
                   elem match {
                     //{{{
                     // command status
                     case XML.Elem(Markup.FINISHED, _, _) =>
-                      st.phase = Command.Phase.FINISHED
+                      st.status = Command.Status.FINISHED
                       command_change(st)
                     case XML.Elem(Markup.UNPROCESSED, _, _) =>
-                      st.phase = Command.Phase.UNPROCESSED
+                      st.status = Command.Status.UNPROCESSED
                       command_change(st)
                     case XML.Elem(Markup.FAILED, _, _) =>
-                      st.phase = Command.Phase.FAILED
+                      st.status = Command.Status.FAILED
                       command_change(st)
                     case XML.Elem(Markup.DISPOSED, _, _) =>
                       document.prover.commands.removeKey(st.id)
-                      st.phase = Command.Phase.REMOVED
+                      st.status = Command.Status.REMOVED
                       command_change(st)
 
                     // command and keyword declarations
                     case XML.Elem(Markup.COMMAND_DECL, (Markup.NAME, name) :: _, _) =>
                       command_decls += name

               case _ =>
             }
             //}}}
 
           case IsabelleProcess.Kind.ERROR if st != null =>
-            if (st.phase != Command.Phase.REMOVED && st.phase != Command.Phase.REMOVE)
-              st.phase = Command.Phase.FAILED
+            if (st.status != Command.Status.REMOVED && st.status != Command.Status.REMOVE)
+              st.status = Command.Status.FAILED
             st.add_result(tree)
             command_change(st)
 
           case IsabelleProcess.Kind.WRITELN | IsabelleProcess.Kind.PRIORITY
             | IsabelleProcess.Kind.WARNING if st != null =>

       activated.event(())
     }
   }
 
   private def send(cmd: Command) {
-    cmd.phase = Command.Phase.UNPROCESSED
+    cmd.status = Command.Status.UNPROCESSED
     commands.put(cmd.id, cmd)
 
     val props = new Properties
     props.setProperty(Markup.ID, cmd.id)
     props.setProperty(Markup.OFFSET, "1")

     process.create_command(props, content)
     process.insert_command(if (cmd.previous == null) "" else cmd.previous.id, cmd.id)
   }
 
   def remove(cmd: Command) {
-    cmd.phase = Command.Phase.REMOVE
+    cmd.status = Command.Status.REMOVE
     process.remove_command(cmd.id)
   }
 }