log src/postgres.sml

age author description
Thu, 02 Feb 2012 11:40:10 -0500 Adam Chlipala 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
Mon, 02 Jan 2012 17:08:39 -0500 Adam Chlipala Fix handling of quotes in generating C literals
Thu, 29 Dec 2011 16:08:34 -0500 Adam Chlipala Add dynamic content before running its scripts, to get IDs in scope; fix generation of Postgres queries with blobs
Fri, 18 Nov 2011 17:44:12 -0500 Adam Chlipala Fix catalog querying about empty tables
Fri, 23 Sep 2011 23:11:59 -0500 Austin Seipp Add an URWEB_PQ_CON environment variable, which overrides the PostgreSQL connection string.
Sun, 28 Aug 2011 14:01:41 -0400 Adam Chlipala Postgres deadlock triggers unlimited retry
Sun, 29 May 2011 13:31:53 -0400 Adam Chlipala Configuration detects proper header files for database dev libraries