log demo/more/conference1.ur

age author description
2009-11-07 Adam Chlipala Saving paper decisions
2009-11-02 Adam Chlipala Decision status placeholder
2009-11-02 Adam Chlipala Start of Decision
2009-11-02 Adam Chlipala Seeing others' reviews
2009-11-01 Adam Chlipala Bidding interface
2009-10-31 Adam Chlipala Start of bidding implementation compiles
2009-10-25 Adam Chlipala Extend Fuse to work on non-recursive functions
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-22 Adam Chlipala Checking deadline; sign-in
2009-10-20 Adam Chlipala Registering for Conference1