diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-05-15 13:16:58 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-05-15 13:16:58 -0400 |
| commit | f466294ad42b97ff395e9d25469b4bef8a06dbb9 (patch) | |
| tree | 4934c45cb23e0bb2a8a62c28342166bd9b59ef45 /doc | |
| parent | aefc3accf262f17945ec53764d5828707ccab316 (diff) | |
New release
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.tex | 1 |
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} |