author | wenzelm |
Mon, 29 Dec 2008 17:50:39 +0100 | |
changeset 34454 | feeab430c3eb |
parent 34453 | dfa99a91951b |
child 34455 | 4900605ebd0c |
--- 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) {