log src/postgres.sml

age author description
Tue, 08 Dec 2015 17:29:24 -0500 Adam Chlipala Change Postgres schema-checking code to account properly for namespaces
Sat, 17 Oct 2015 11:08:12 -0400 Adam Chlipala Switching to a more dynamic method of handling database reconnection, restarting transactions
Sat, 17 Oct 2015 10:49:25 -0400 Adam Chlipala Start of support for surviving database-server restarts, for Postgres