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/PIDE/protocol.ML
changeset 56447 1e77ed11f2f7
parent 56387 d92eb5c3960d
child 56458 a8d960baa5c2 
--- a/src/Pure/PIDE/protocol.ML	Sun Apr 06 21:01:45 2014 +0200
+++ b/src/Pure/PIDE/protocol.ML	Mon Apr 07 13:06:34 2014 +0200
@@ -34,7 +34,7 @@
           YXML.parse_body blobs_yxml |>
             let open XML.Decode in
               list (variant
-               [fn ([], a) => Exn.Res (pair string (option string) a),
+               [fn ([], a) => Exn.Res (triple string string (option string) a),
                 fn ([], a) => Exn.Exn (ERROR (string a))])
             end;
       in
isabelle