Add newline after CDATA for sake of HaXml
authoraspinall
Mon Sep 27 16:02:31 2004 +0200 (2004-09-27)
changeset 15207a383b0a412b0
parent 15206 09d78ec709c7
child 15208 09271a87fbf0
Add newline after CDATA for sake of HaXml
src/Pure/General/xml.ML
     1.1 --- a/src/Pure/General/xml.ML	Mon Sep 27 10:27:34 2004 +0200
     1.2 +++ b/src/Pure/General/xml.ML	Mon Sep 27 16:02:31 2004 +0200
     1.3 @@ -48,7 +48,7 @@
     1.4  
     1.5  val text = Library.translate_string encode;
     1.6  
     1.7 -val cdata = enclose "<![CDATA[" "]]>";
     1.8 +val cdata = enclose "<![CDATA[" "]]>\n"
     1.9  
    1.10  
    1.11  (* elements *)
    1.12 @@ -63,6 +63,7 @@
    1.13  
    1.14  
    1.15  
    1.16 +
    1.17  (** explicit XML trees **)
    1.18  
    1.19  datatype tree =