summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-05-15 13:16:58 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-05-15 13:16:58 -0400
commitf466294ad42b97ff395e9d25469b4bef8a06dbb9 (patch)
tree4934c45cb23e0bb2a8a62c28342166bd9b59ef45 /doc
parentaefc3accf262f17945ec53764d5828707ccab316 (diff)
New release
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index 5deb66fc..daadd37e 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -1565,6 +1565,7 @@ $$\begin{array}{l}
\hspace{.1in} \to \mt{selectedFields} ::: \{\{\mt{Type}\}\} \\
\hspace{.1in} \to \mt{selectedExps} ::: \{\mt{Type}\} \\
\hspace{.1in} \to \mt{sql\_relop} \\
+ \hspace{.1in} \to \mt{bool} \; (* \; \mt{ALL} \; *) \\
\hspace{.1in} \to \mt{sql\_query1} \; \mt{free} \; \mt{afree} \; \mt{tables1} \; \mt{selectedFields} \; \mt{selectedExps} \\
\hspace{.1in} \to \mt{sql\_query1} \; \mt{free} \; \mt{afree} \; \mt{tables2} \; \mt{selectedFields} \; \mt{selectedExps} \\
\hspace{.1in} \to \mt{sql\_query1} \; \mt{free} \; \mt{afree} \; \mt{selectedFields} \; \mt{selectedFields} \; \mt{selectedExps}