log src/mysql.sml

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