Add newline after CDATA for sake of HaXml

--- a/src/Pure/General/xml.ML	Mon Sep 27 10:27:34 2004 +0200
+++ b/src/Pure/General/xml.ML	Mon Sep 27 16:02:31 2004 +0200
@@ -48,7 +48,7 @@
 
 val text = Library.translate_string encode;
 
-val cdata = enclose "<![CDATA[" "]]>";
+val cdata = enclose "<![CDATA[" "]]>\n"
 
 
 (* elements *)
@@ -63,6 +63,7 @@
 
 
 
+
 (** explicit XML trees **)
 
 datatype tree =