[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: [main-menu] default choice



On Thu, Nov 28, 2002 at 08:28:25PM +0100, Martin Sjögren wrote:
> Can we still have ties after this? Do we want to still have ties after
> this and if so, how do we resolve them? Can we make sure that we don't
> have any ties here?

<bad joke>
We could use "cloneproof Schwartz sequential dropping" to
resolve these ties.
</bad joke>

Sorry, couldn't resist,
Jochen
-- 
                                         Omm
                                      (0)-(0)
http://www.mathematik.uni-kl.de/~wwwstoch/voss/privat.html

Attachment: pgpw7bhiS55XA.pgp
Description: PGP signature


Reply to: