Mercurial > openid
log
age | author | description |
---|---|---|
Sun, 17 Apr 2011 13:15:10 -0400 | Adam Chlipala | A silly RPC bug that I'm surprised wasn't caught before now |
Thu, 24 Feb 2011 17:29:45 -0500 | Adam Chlipala | Fix Utest to track latest change |
Thu, 24 Feb 2011 17:29:05 -0500 | Adam Chlipala | More type class instances for user type; allow choose to fail |