Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed debug output;
authorwenzelm
Mon, 29 Dec 2008 17:50:39 +0100
changeset 34454 feeab430c3eb
parent 34453 dfa99a91951b
child 34455 4900605ebd0c
removed debug output;
src/Tools/jEdit/src/prover/Prover.scala file | annotate | diff | comparison | revisions 
--- 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) {
isabelle