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.
Add FIXME note re FAIL (is it fixed yet?)
authoraspinall
Fri, 07 May 2004 13:42:08 +0200
changeset 14714 38ff9c8a7de0
parent 14713 6d203f6f0e8d
child 14715 9f75d9c1d677
Add FIXME note re FAIL (is it fixed yet?)
src/Pure/General/xml.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/xml.ML	Fri May 07 13:40:24 2004 +0200
+++ b/src/Pure/General/xml.ML	Fri May 07 13:42:08 2004 +0200
@@ -57,7 +57,7 @@
     Elem of string * (string * string) list * tree list
   | Text of string;
 
-fun attribute (a, x) = a ^ " = " ^ "\"" (text x) "\"";
+fun attribute (a, x) = a ^ " = \"" ^ (text x) ^ "\"";
 
 fun element name atts cs =
   let val elem = space_implode " " (name :: map attribute atts) in
isabelle