Hi all, I reviewed the Annex F of Draft5 and found the following issues: General comment: |= signs in the green text in this Annex are black. Page 1064: In the green section at the bottom the bullet sign before "For U = Q" is in blue. Page 1065: F.4.3.2 Weak and strong satisfaction by finite words. "-" in "|=-" and |/=-" is written in green while it should be black (see Mantis 2252). Page 1068: The bullets in "F.4.6.1 Neutral satisfaction" have different colors: green, black and blue. Should be all green. Page 1071: Last bullet on the page should be green. Page 1072: This page is blank. 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, and is believed to be clean.Received on Wed May 7 10:56:41 2008
This archive was generated by hypermail 2.1.8 : Wed May 07 2008 - 10:57:28 PDT