Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/System/misc.tex
changeset 27348 ca9fa1844fd6
parent 26581 ed7f995b3c97 
--- 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:
isabelle