--- a/src/Pure/PIDE/xml.ML Thu Mar 08 17:47:51 2012 +0100
+++ b/src/Pure/PIDE/xml.ML Thu Mar 08 19:56:57 2012 +0100
@@ -28,9 +28,9 @@
signature XML =
sig
- type attributes = Properties.T
+ type attributes = (string * string) list
datatype tree =
- Elem of Markup.T * tree list
+ Elem of (string * attributes) * tree list
| Text of string
type body = tree list
val add_content: tree -> Buffer.T -> Buffer.T
@@ -59,10 +59,10 @@
(** XML trees **)
-type attributes = Properties.T;
+type attributes = (string * string) list;
datatype tree =
- Elem of Markup.T * tree list
+ Elem of (string * attributes) * tree list
| Text of string;
type body = tree list;