[m-dev.] Re: for review: Aditi updates[6]

[Zoltan Somogyi]

> >  > s/indexes/indices/ ?
> > OK.
> 
> Both are used, my impression is indexes moreso (especially in papers).

I actually prefer indexes. I know that it is not the officially correct
spelling, but I consider this to be in the same category as the traditional
quoting rules: something that is worth changing by example.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------