From 53159b76f6717fab5165fd859f6caa8066951262 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 7 May 2012 08:16:18 -0400
Subject: Fix manual's grammar for subquery FROM items

---
 doc/manual.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'doc/manual.tex')

diff --git a/doc/manual.tex b/doc/manual.tex
index 5bc4c6ae..6012270b 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -2173,8 +2173,10 @@ $$\begin{array}{rrcll}
   \textrm{Column names} & f &::=& X & \textrm{constant column name} \\
   &&& \{c\} & \textrm{computed column name (of kind $\mt{Name}$)} \\
   \textrm{Tables} & T &::=& x & \textrm{table variable, named locally by its own capitalization} \\
-  &&& x \; \mt{AS} \; t & \textrm{table variable, with local name} \\
+  &&& x \; \mt{AS} \; X & \textrm{table variable, with local name} \\
+  &&& x \; \mt{AS} \; \{c\} & \textrm{table variable, with computed local name} \\
   &&& \{\{e\}\} \; \mt{AS} \; t & \textrm{computed table expression, with local name} \\
+  &&& \{\{e\}\} \; \mt{AS} \; \{c\} & \textrm{computed table expression, with computed local name} \\
   \textrm{$\mt{FROM}$ items} & F &::=& T \mid \{\{e\}\} \mid F \; J \; \mt{JOIN} \; F \; \mt{ON} \; E \\
   &&& \mid F \; \mt{CROSS} \; \mt{JOIN} \ F \\
   &&& \mid (Q) \; \mt{AS} \; t \\
-- 
cgit v1.2.3

