John, Here is an fixed version. In the current mantis status I cannot upload new files. Should I change the status to feedback? Thanks Doron >>-----Original Message----- >>From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On >>Behalf Of John Havlicek >>Sent: Thursday, December 20, 2007 1:54 AM >>To: sv-ac@server.eda.org >>Subject: [sv-ac] typo in 1757 >> >>Hi Folks: >> >>In reviewing 1757 for the Champions meeting, I noticed a typo >>on the last page: >> >>On p. 8, the very last satisfaction relation >> should be changed from >> >> w^{0,i-1},L_0 \top^\omega |= P >> >> to >> >> w^{0,i-1}\top^\omega, L_0 |= P >> >> >>I added a note to the Mantis item. >> >>J.H. >> >>-- >>This message has been scanned for viruses and >>dangerous content by MailScanner, 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.
This archive was generated by hypermail 2.1.8 : Wed Dec 19 2007 - 23:27:28 PST