--- a/src/Pure/General/xml.ML Fri Jun 05 17:01:02 2009 +0200
+++ b/src/Pure/General/xml.ML Fri Jun 05 21:55:08 2009 +0200
@@ -11,7 +11,6 @@
Elem of string * attributes * tree list
| Text of string
val add_content: tree -> Buffer.T -> Buffer.T
- val detect: string -> bool
val header: string
val text: string -> string
val element: string -> attributes -> string list -> string
@@ -43,7 +42,6 @@
(** string representation **)
-val detect = String.isPrefix "<?xml";
val header = "<?xml version=\"1.0\"?>\n";