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.
tuned;
authorwenzelm
Thu, 27 Sep 2012 14:50:06 +0200
changeset 49608 ce1c34c98eeb
parent 49607 b610c0d52bfa
child 49609 89e10ed7668b
tuned;
src/Pure/PIDE/markup_tree.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/markup_tree.scala	Thu Sep 27 14:46:34 2012 +0200
+++ b/src/Pure/PIDE/markup_tree.scala	Thu Sep 27 14:50:06 2012 +0200
@@ -133,8 +133,8 @@
           val body = overlapping(new_range)
           if (body.forall(e => new_range.contains(e._1)))
             new Markup_Tree(branches -- body.keys, Entry(new_markup, new Markup_Tree(body)))
-          else { // FIXME split markup!?
-            System.err.println("Ignored overlapping markup information: " + new_markup +
+          else {
+            java.lang.System.err.println("Ignored overlapping markup information: " + new_markup +
               body.filter(e => !new_range.contains(e._1)).mkString("\n"))
             this
           }
isabelle