log

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