# HG changeset patch
# User wenzelm
# Date 1214338399 -7200
# Node ID ca9fa1844fd63fb8fa07c9e58e32263618b54016
# Parent  31f98eaa198d16a117440a4ecafc80902d4dce79
YXML: no special treatment of white space;

diff -r 31f98eaa198d -r ca9fa1844fd6 doc-src/System/misc.tex
--- a/doc-src/System/misc.tex	Tue Jun 24 21:44:52 2008 +0200
+++ b/doc-src/System/misc.tex	Tue Jun 24 22:13:19 2008 +0200
@@ -294,8 +294,9 @@
 
 \item The encoding is always UTF-8.
 
-\item Body text is represented verbatim (no escaping, no named
-  entities, no CDATA chunks, no comments).
+\item Body text is represented verbatim (no escaping, no special
+  treatment of white space, no named entities, no CDATA chunks, no
+  comments).
 
 \item Markup elements are represented via ASCII control characters $X
   = 5$ and $Y = 6$ as follows: