src/Pure/System/isabelle_process.scala
changeset 43748 c70bd78ec83c
parent 43747 74a9e9c8d5e8
child 43780 2cb2310d68b6
     1.1 --- a/src/Pure/System/isabelle_process.scala	Mon Jul 11 15:56:30 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Mon Jul 11 16:48:02 2011 +0200
     1.3 @@ -63,6 +63,7 @@
     1.4      {
     1.5        val res =
     1.6          if (is_status || is_report) message.body.map(_.toString).mkString
     1.7 +        else if (is_raw) "..."
     1.8          else Pretty.string_of(message.body)
     1.9        if (properties.isEmpty)
    1.10          kind.toString + " [[" + res + "]]"