Mercurial > urweb
log
age | author | description |
---|---|---|
Fri, 17 Jul 2009 17:09:55 -0400 | Adam Chlipala | Timestamps working with SQLite |
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) |