From 40098da68420bb08aa0aa0889fa5298fd005c245 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 3 Dec 2011 17:07:34 -0500
Subject: New 't.*' notation for SELECT

---
 doc/manual.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc')

diff --git a/doc/manual.tex b/doc/manual.tex
index e921de74..0c64da4c 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -2128,6 +2128,7 @@ $$\begin{array}{rrcll}
   &&& p,^+ & \textrm{particular columns} \\
   \textrm{Pre-projections} & p &::=& t.f & \textrm{one column from a table} \\
   &&& t.\{\{c\}\} & \textrm{a record of columns from a table (of kind $\{\mt{Type}\}$)} \\
+  &&& t.* & \textrm{all columns from a table} \\
   &&& E \; [\mt{AS} \; f] & \textrm{expression column} \\
   \textrm{Table names} & t &::=& x & \textrm{constant table name (automatically capitalized)} \\
   &&& X & \textrm{constant table name} \\
-- 
cgit v1.2.3