log doc/manual.tex

age author description
Sun, 29 May 2011 14:29:26 -0400 Adam Chlipala getHeader and setHeader
Sun, 29 May 2011 13:31:53 -0400 Adam Chlipala Configuration detects proper header files for database dev libraries
Sun, 29 May 2011 12:18:59 -0400 Adam Chlipala Don't mention 'sessions' in the manual
Sun, 15 May 2011 13:16:58 -0400 Adam Chlipala New release
Sun, 20 Mar 2011 13:47:39 -0400 Adam Chlipala '--without-emacs' configure option
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