log doc/manual.tex

age author description
Sat, 19 Nov 2011 10:43:57 -0500 Adam Chlipala COALESCE
Mon, 14 Nov 2011 09:02:00 -0500 Adam Chlipala Fix completely broken manual description of 'view'
Sat, 05 Nov 2011 09:40:38 -0400 Adam Chlipala Fix SQL grammar bug in manual