On Mon, 2004-11-15 at 10:01, Valery Pipin wrote:
> On Monday 15 November 2004 22:55, Raymond Toy 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.
> >
> > Now that we have decided on case-sensitivity, I think we should get
> > rid of the variable bothcases.
> It may be usefull to keep backward compatibility at least. I'm not sure
> though.
I don't think it would be terribly difficult to re-instate some version
of bothcases. I really think we should get rid of it, however. Any
reasonable editor can convert your code to lowercase. Leaving bothcases
in the program would be an invitation to inexperienced users to shoot
themselves in the foot.
> Is'nt it a problem that after sequence "(bothcases:false,bothcases:true)"
> maxima did not return to initial state?
The code for bothcases is currently broken. I wouldn't expect anything
having to do with it to work.
--Jim