diff doc/manual.tex @ 1627:5c1f10cdac63

New 't.*' notation for SELECT
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Dec 2011 17:07:34 -0500
parents 77180224f1f9
children 438561303d02
line wrap: on
line diff
--- a/doc/manual.tex	Sat Dec 03 16:39:45 2011 -0500
+++ b/doc/manual.tex	Sat Dec 03 17:07:34 2011 -0500
@@ -2128,6 +2128,7 @@
   &&& 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} \\