[sv-ac] updated 1549 formal semantics

Hi Folks:

I have updated on mantis and attached here the revised formal
semantics proposal for 1549.

I have tried to address all feedback that we agreed to in our last
meeting.

* Redundancy pointed out by Bassam.

* References to the rewriting algorithm that needed to be 
  put in the form "(see <reference>)".

* Changes to the notation in the rewriting algorithm to
  try to conform to the notations in F.2.2 in the 1668 
  proposal.

* Use italics instead of bold courier for references to syntax
  non-terminals.

* Change the notation convention for "t" simply to "type" 
  rather than "local variable data type" because "t" is 
  used more generally in the rewriting algorithm.

Please have a look and send any remaining feedback.

J.H.

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