Mercurial > urweb
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}