mysql: revoke permissions when dropping database
[hcoop/domtool2.git] / src / dbms.sml
2008-04-09 Adam ChlipalaSpecifying encoding on database creation
2007-11-13 Adam ChlipalaFix dumb message name; allow numbers and underscores...
2007-07-02 Adam ChlipalaMySQL re-granting
2007-06-24 Adam ChlipalaAdding database dropping to dbtool
2007-02-10 Adam ChlipalaMySQL password changing
2006-12-22 Adam ChlipalaPassword prompts for MySQL adduser
2006-12-22 Adam ChlipalaDBMS database creation
2006-12-21 Adam ChlipalaStart of DBMS support