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.
no syserr
authorimmler@in.tum.de
Sun, 07 Dec 2008 15:39:50 +0100
changeset 34398 2d40e4067c37
parent 34397 86daaf5db016
child 34399 5b8b89b7e597
no syserr
src/Tools/jEdit/src/prover/Command.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/prover/Command.scala	Sun Dec 07 15:36:24 2008 +0100
+++ b/src/Tools/jEdit/src/prover/Command.scala	Sun Dec 07 15:39:50 2008 +0100
@@ -73,7 +73,6 @@
     val cand_asset = cand.getUserObject.asInstanceOf[RelativeAsset]
     val c_start = cand_asset.rel_start
     val c_end = cand_asset.rel_end
-    System.err.println(c_start - n_start + " " + (c_end - n_end))
     return c_start >= n_start && c_end <= n_end
   }
isabelle