log doc/manual.tex

age author description
Sat, 15 Oct 2011 09:04:41 -0400 Adam Chlipala For new IF, fix Monoize typing and add to manual
Fri, 30 Sep 2011 08:16:50 -0400 Ron de Bruijn Fix searching for underscore elements in PDF files.
Fri, 23 Sep 2011 23:11:59 -0500 Austin Seipp Add an URWEB_PQ_CON environment variable, which overrides the PostgreSQL connection string.