log demo/more/conference.urp

age author description
2009-11-02 Adam Chlipala Start of Decision
2009-11-01 Adam Chlipala Initial form for paper assignment
2009-11-01 Adam Chlipala Bidding interface
2009-10-31 Adam Chlipala Start of bidding implementation compiles
2009-10-25 Adam Chlipala Factor Dnat into separate module
2009-10-22 Adam Chlipala Initial support for char in SQL
2009-10-22 Adam Chlipala Viewing papers
2009-10-22 Adam Chlipala Title and abstract
2009-10-20 Adam Chlipala Saving changes to user list
2009-10-20 Adam Chlipala Start of user management
2009-10-20 Adam Chlipala Registering for Conference1
2009-10-20 Adam Chlipala Add tuple pattern-matching at the constructor level