log doc/manual.tex

age author description
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