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/General/xml.ML
changeset 28017 4919bd124a58
parent 27884 10c927e4abf5
child 28033 f03b5856f286 
--- a/src/Pure/General/xml.ML	Wed Aug 27 11:24:35 2008 +0200
+++ b/src/Pure/General/xml.ML	Wed Aug 27 11:48:54 2008 +0200
@@ -7,7 +7,7 @@
 
 signature XML =
 sig
-  type attributes = Markup.property list
+  type attributes = Properties.T
   datatype tree =
       Elem of string * attributes * tree list
     | Text of string
@@ -32,7 +32,7 @@
 
 (** XML trees **)
 
-type attributes = Markup.property list;
+type attributes = Properties.T;
 
 datatype tree =
     Elem of string * attributes * tree list
isabelle