Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message (cf. ML version);
authorwenzelm
Wed, 07 Mar 2012 23:21:24 +0100
changeset 46832 050e344825c8
parent 46831 4a6085849a37
child 46835 be56a254d880
tuned message (cf. ML version);
src/Pure/PIDE/yxml.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/yxml.ML	Wed Mar 07 20:49:18 2012 +0100
+++ b/src/Pure/PIDE/yxml.ML	Wed Mar 07 23:21:24 2012 +0100
@@ -92,7 +92,7 @@
 
 (* structural errors *)
 
-fun err msg = raise Fail ("Malformed YXML encoding: " ^ msg);
+fun err msg = raise Fail ("Malformed YXML: " ^ msg);
 fun err_attribute () = err "bad attribute";
 fun err_element () = err "bad element";
 fun err_unbalanced "" = err "unbalanced element"
isabelle