# HG changeset patch
# User immler@in.tum.de
# Date 1228069937 -3600
# Node ID 7878d11005106b2e0a9bba14b9629f2eaba5dd64
# Parent  f0e1608a774f42969bf06bed4ea519c574f9b81b
removed debugging output

diff -r f0e1608a774f -r 7878d1100510 src/Tools/jEdit/src/prover/Command.scala
--- a/src/Tools/jEdit/src/prover/Command.scala	Sun Nov 30 19:18:59 2008 +0100
+++ b/src/Tools/jEdit/src/prover/Command.scala	Sun Nov 30 19:32:17 2008 +0100
@@ -62,7 +62,6 @@
   val root_node = {
     val content = Plugin.plugin.prover.document.getContent(this)
     val ra = new RelativeAsset(this, 0, stop - start, "command", content)
-    System.err.println(start + "-" + stop + ": " + content)
     new DefaultMutableTreeNode(ra)
   }