>>>>> "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.
Now that we have decided on case-sensitivity, I think we should get
rid of the variable bothcases.
There is a chance that IF and other programming constructs are broken
in this case-sensitive maxima right now.
Ray