[sv-ac] revised proposal for 1648

Hi Folks:

I have uploaded to mantis and attached here a revised proposal for
1648 that addresses feedback from the Champions.

In reviewing this, Dmitry and I agreed that since a disable condition
can be specified in a "disable iff" clause or in a "default disable"
declaration, we should unify the way we talk about this condition in
the LRM.  

Previously, some places called it the "reset expression", others the
"reset condition", others the "expression in the disable iff clause",
etc.

Therefore, you will find additional changes that are intended to 
converge to uniform use of the phrase "disable condition".

J.H.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.