log src/mysql.sml

age author description
Fri, 17 Jul 2009 17:03:37 -0400 Adam Chlipala Most of demo working with SQLite
Fri, 17 Jul 2009 16:29:36 -0400 Adam Chlipala demo/sql works with SQLite
Fri, 17 Jul 2009 14:04:05 -0400 Adam Chlipala Check for existence of sequences (MySQL)
Fri, 17 Jul 2009 12:58:37 -0400 Adam Chlipala MySQL CGI working
Fri, 17 Jul 2009 12:25:34 -0400 Adam Chlipala Testing nested queries
Thu, 16 Jul 2009 18:10:29 -0400 Adam Chlipala Demo working with MySQL
Thu, 16 Jul 2009 16:29:13 -0400 Adam Chlipala Sequence code compiles in MySQL
Thu, 16 Jul 2009 13:59:30 -0400 Adam Chlipala MySQL accepts generated demo DDL
Sun, 12 Jul 2009 16:09:54 -0400 Adam Chlipala Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet
Sun, 12 Jul 2009 15:42:24 -0400 Adam Chlipala demo/sql working with MySQL
Sun, 12 Jul 2009 15:05:40 -0400 Adam Chlipala MySQL demo/sql succeeds in reading no rows
Sun, 12 Jul 2009 13:16:05 -0400 Adam Chlipala MySQL query gets up to C linking
Tue, 30 Jun 2009 16:17:32 -0400 Adam Chlipala Validating views
Tue, 30 Jun 2009 15:45:10 -0400 Adam Chlipala Move all DBMS initialization to #init
Sun, 28 Jun 2009 16:41:10 -0400 Adam Chlipala Moved nextval code into Settings
Sun, 28 Jun 2009 16:22:17 -0400 Adam Chlipala Moved dml code into Settings
Sun, 28 Jun 2009 16:03:00 -0400 Adam Chlipala Moved query code into Settings
Sun, 28 Jun 2009 13:49:32 -0400 Adam Chlipala Start of multi-DBMS support