log demo/more/meta.urs

age author description
2009-11-02 Adam Chlipala Start of Decision
2009-10-22 Adam Chlipala Initial support for char in SQL
2009-10-22 Adam Chlipala Viewing papers
2009-10-22 Adam Chlipala Move stuff from bulkEdit to meta
2009-10-22 Adam Chlipala Title and abstract
2009-10-20 Adam Chlipala Start of user management