On Wed, Aug 14, 2013 at 12:15 PM, Kim Bruce <kim at cs.pomona.edu> wrote: > Andrew, James, and I agree to Tim's proposal. This is implemented now. -Michael