RE: [sv-ac] 1900 - New version uploaded

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Tue Feb 26 2008 - 02:12:43 PST
Nitpick:
 
In part 1, page 23 at the bottom, Annex A footnotes 2 and 3 should be
reversed.
 
Thanks,
Shalom


________________________________

	From: owner-sv-ac@server.eda.org
[mailto:owner-sv-ac@server.eda.org] On Behalf Of Korchemny, Dmitry
	Sent: Tuesday, February 26, 2008 7:52 AM
	To: sv-ac@server.eda.org
	Subject: [sv-ac] 1900 - New version uploaded
	
	

	Hi all,

	 

	I uploaded a new version of 1900, implementing fixes suggested
by Tom, Lisa, and Shalom. I split the proposal into two files:
checkers_080225_part1_dk.pdf and checkers_080225_part2_dk.pdf. The part
2 contains subclause 16.18 describing the checker construct,  while the
part 1 contains all the rest - LRM changes caused by the checker
introduction.

	 

	You can use .doc version of these files to visualize the
changes.

	 

	Thanks,

	Dmitry

	
---------------------------------------------------------------------
	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 <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.
Received on Tue Feb 26 02:14:04 2008

This archive was generated by hypermail 2.1.8 : Tue Feb 26 2008 - 02:14:44 PST