1.1 --- a/src/Pure/System/isabelle_process.scala	Fri May 07 20:57:37 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Fri May 07 22:00:23 2010 +0200
     1.3 @@ -90,7 +90,7 @@
     1.4      {
     1.5        val res =
     1.6          if (kind == Kind.STATUS) body.map(_.toString).mkString
     1.7 -        else body.map(XML.content(_).mkString).mkString
     1.8 +        else Pretty.string_of(body)
     1.9        if (props.isEmpty)
    1.10          kind.toString + " [[" + res + "]]"
    1.11        else