log src/pathcheck.sml

age author description
2009-04-16 Adam Chlipala Catching duplicate cookie and style paths
2009-04-07 Adam Chlipala PRIMARY KEY
2009-04-07 Adam Chlipala UNIQUE constraints
2009-02-15 Adam Chlipala First gimpy RPC
2008-10-19 Adam Chlipala Proper generation of relation names; checking that sequences exist