# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1228670507 18000
# Node ID 8fb99fec35f6f0c83465a257948a441960391b5a
# Parent  11e150300ba075f961f73aeedf29365c1ec6aeb5
XML syntax

diff -r 11e150300ba0 -r 8fb99fec35f6 doc/manual.tex
--- a/doc/manual.tex	Sun Dec 07 12:10:51 2008 -0500
+++ b/doc/manual.tex	Sun Dec 07 12:21:47 2008 -0500
@@ -1313,4 +1313,20 @@
 
 Inside $\mt{UPDATE}$ and $\mt{DELETE}$ commands, lone variables $X$ are interpreted as references to columns of the implicit table $\mt{T}$, rather than to named expressions.
 
+\subsection{XML}
+
+XML fragments $L$ are added to the rules for expressions $e$.
+
+$$\begin{array}{rrcll}
+  \textrm{XML fragments} & L &::=& \texttt{<xml/>} \mid \texttt{<xml>}l^*\texttt{</xml>} \\
+  \textrm{XML pieces} & l &::=& \textrm{text} & \textrm{cdata} \\
+  &&& \texttt{<}g\texttt{/>} & \textrm{tag with no children} \\
+  &&& \texttt{<}g\texttt{>}l^*\texttt{</}x\texttt{>} & \textrm{tag with children} \\
+  \textrm{Tag} & g &::=& h \; (x = v)^* \\
+  \textrm{Tag head} & h &::=& x & \textrm{tag name} \\
+  &&& h\{c\} & \textrm{constructor parameter} \\
+  \textrm{Attribute value} & v &::=& \ell & \textrm{literal value} \\
+  &&& \{e\} & \textrm{computed value} \\
+\end{array}$$
+
 \end{document}
\ No newline at end of file