diff doc/manual.tex @ 1458:bd6b03bc6333

New release
author Adam Chlipala <adam@chlipala.net>
date Sun, 15 May 2011 13:16:58 -0400
parents 8524a1709821
children c12ceb891350
line wrap: on
line diff
--- a/doc/manual.tex	Thu May 12 17:14:13 2011 -0400
+++ b/doc/manual.tex	Sun May 15 13:16:58 2011 -0400
@@ -1565,6 +1565,7 @@
   \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}