log

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