log doc/manual.tex

age author description
Thu, 03 Feb 2011 21:04:12 -0500 Adam Chlipala Subqueries may always return NULL
Tue, 18 Jan 2011 13:32:48 -0500 Adam Chlipala More detail on sources and signals