RE: [sv-ac] Questions on editing for Mantis 1932

Hi Stu,

 

The correct text should read:

 

property_expr1 s_until property_expr2 (strong non-overlapping form)

property_expr1 until_with property_expr2 (weak overlapping form)

 

I suggest doing these changes as editorial. If needed we will vote on
them during the draft review.

 

Thanks,

Dmitry

 

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Stuart Sutherland
Sent: Tuesday, September 02, 2008 10:38 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] Questions on editing for Mantis 1932

 

 

Bug note 7185 has questions that need to be answered by the AC
committee.  Are there any editorial corrections to be made?

 

Stu
~~~~~~~~~~~~~~~~~~~~~~~~~
Stuart Sutherland
stuart@sutherland-hdl.com
+1-503-692-0898

www.sutherland-hdl.com



 


-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is

believed to be clean. 

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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