Mercurial > urweb
log
age | author | description |
---|---|---|
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 |