--- a/src/Pure/PIDE/protocol.scala Sun Apr 06 21:01:45 2014 +0200
+++ b/src/Pure/PIDE/protocol.scala Mon Apr 07 13:06:34 2014 +0200
@@ -352,7 +352,8 @@
val encode_blob: T[Command.Blob] =
variant(List(
{ case Exn.Res((a, b)) =>
- (Nil, pair(string, option(string))((a.node, b.map(p => p._1.toString)))) },
+ (Nil, triple(string, string, option(string))(
+ (a.node, Isabelle_System.posix_path(a.node), b.map(p => p._1.toString)))) },
{ case Exn.Exn(e) => (Nil, string(Exn.message(e))) }))
YXML.string_of_body(list(encode_blob)(command.blobs))
}