log demo/more/bid.urs

age author description
2009-11-02 Adam Chlipala Start of Decision
2009-11-01 Adam Chlipala Bidding interface
2009-10-31 Adam Chlipala Start of bidding implementation compiles