log doc/manual.tex

age author description
Tue, 13 Mar 2012 13:36:26 -0400 Adam Chlipala Clarify necessity of 'effectful' in the manual
Sat, 10 Mar 2012 13:13:15 -0500 Adam Chlipala New release
Sat, 25 Feb 2012 15:34:44 -0500 Adam Chlipala Correct an SQL grammar omission (thanks to Alexei Golovko for spotting the problem)