src/Pure/General/yxml.ML

--- a/src/Pure/General/yxml.ML	Fri Jun 05 17:01:02 2009 +0200
+++ b/src/Pure/General/yxml.ML	Fri Jun 05 21:55:08 2009 +0200
@@ -15,7 +15,6 @@
 
 signature YXML =
 sig
-  val detect: string -> bool
   val output_markup: Markup.T -> string * string
   val element: string -> XML.attributes -> string list -> string
   val string_of: XML.tree -> string
@@ -35,8 +34,6 @@
 val XY = X ^ Y;
 val XYX = XY ^ X;
 
-val detect = String.isPrefix XY;
-
 
 (* output *)