Re: Cases environment broken in 1.2.2 and 1.3.0.

[Joao Luis Meloni Assirati]

Hello,

Hi, a sugestion:

Andre Poenitz wrote:
> We could do it like that. My contraints are "the user should be able to
> override the validation guesses" and "one button is enough".

Right, and this button already exists. When validation detects the need
for ams, it should check the current "Use AMS math" button. If the user
wants to override this detection, he simply goes there and uncheck,
receiving a warning that the need for AMS was detected and maybe
typesetting will fail if he excludes AMS.

The same button serves to force AMS when the user checks it.

The idea is that that button controls the use of AMS, and two "persons"
can check it: the user and validate, but only the user can uncheck it.

Jo�o.