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

--- a/src/Tools/jEdit/src/prover/Prover.scala	Fri Nov 28 15:51:40 2008 +0100
+++ b/src/Tools/jEdit/src/prover/Prover.scala	Fri Nov 28 17:49:39 2008 +0100
@@ -105,11 +105,11 @@
         fireChange()
               
       case IsabelleProcess.Kind.STATUS =>
-        System.err.println("ST: " + tree)
+        st.addStatus(tree)
         val state = tree match { case Elem("message", _,
                                            Elem (name, _, _) :: _) => name
                                  case _ => null }
-
+        
         if (st.phase != Phase.REMOVED && st.phase != Phase.REMOVE) {
           state match {
             case "finished" =>