--- Raymond Toy <raymond.toy@ericsson.com> wrote:
> >>>>> "Valery" == Valery Pipin <pip@iszf.irk.ru> writes:
>
> Valery> Also it does not work if I issue "bothcases:false"
>
> With a case-sensitive maxima, is there any expectation that
> bothcases:false should do anything now? I have not checked, but the
> patches I did for case-sensitivity ignored bothcases, I think.
I don't think so - the intuitive meaning would be to have maxima work
in a case insensitive manner, which is just asking for trouble IMHO.
> Now that we have decided on case-sensitivity, I think we should get
> rid of the variable bothcases.
I agree.
CY
__________________________________
Do you Yahoo!?
Check out the new Yahoo! Front Page.
www.yahoo.com