log src/mysql.sml

age author description
2011-11-18 Adam Chlipala Fix catalog querying about empty tables
2011-05-29 Adam Chlipala Configuration detects proper header files for database dev libraries