# HG changeset patch
# User wenzelm
# Date 1230569439 -3600
# Node ID feeab430c3ebb850a8360ee8659bd163b3078d54
# Parent  dfa99a91951b192dd02774652ccf814feebe0700
removed debug output;

diff -r dfa99a91951b -r feeab430c3eb src/Tools/jEdit/src/prover/Prover.scala
--- a/src/Tools/jEdit/src/prover/Prover.scala	Mon Dec 29 17:44:58 2008 +0100
+++ b/src/Tools/jEdit/src/prover/Prover.scala	Mon Dec 29 17:50:39 2008 +0100
@@ -68,7 +68,6 @@
 
           case IsabelleProcess.Kind.STATUS =>
             //{{{ handle all kinds of status messages here
-            System.err.println(tree)
             tree match {
               case XML.Elem(Markup.MESSAGE, _, elems) =>
                 for (elem <- elems) {