log src/mysql.sml

age author description
Sat, 17 Oct 2015 11:31:22 -0400 Adam Chlipala Database-server reconnection for MySQL
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
Wed, 07 Jan 2015 09:25:13 -0500 Adam Chlipala Fix arguments to PQprepare()
Mon, 17 Feb 2014 14:34:48 -0500 Adam Chlipala MySQL does case-sensitive catalog queries
Tue, 14 Jan 2014 19:22:53 -0500 Adam Chlipala MySQL: set character set when opening a new connection
Tue, 07 Jan 2014 08:36:18 -0500 Adam Chlipala MySQL: Combine transaction setup commands into one mysql_query()