On Sat, Dec 07, 2002 at 07:30:18PM +0100, Juan Cespedes wrote: > Some minor typos: Thank you [some of these aren't so minor]. Also, I omitted the [rather significant] sentence that lets you compare defeats by the default option with defeats by other options. So I'll be submitting another draft with these things corrected [but I guess I'll first wait to see if anyone else sees any other silly mistakes]. Thanks, -- Raul