Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_process.scala
changeset 36735 42b7f881f5fc
parent 34215 f0322b595146
child 37038 1ce1b19f78f4 
--- a/src/Pure/System/isabelle_process.scala	Fri May 07 20:57:37 2010 +0200
+++ b/src/Pure/System/isabelle_process.scala	Fri May 07 22:00:23 2010 +0200
@@ -90,7 +90,7 @@
     {
       val res =
         if (kind == Kind.STATUS) body.map(_.toString).mkString
-        else body.map(XML.content(_).mkString).mkString
+        else Pretty.string_of(body)
       if (props.isEmpty)
         kind.toString + " [[" + res + "]]"
       else
isabelle