[sv-ac] 805 in draft3 review

** Sending as email until we collect all issues and post as bugnote.

Issue 1: F3.3.1

T is said to pass on w if w |= T. T is said to be disabled on

w if w |=^d T. T is said to fail on w if T neither passes nor

is disabled on w. It can be proved that T cannot both pass and be

disabled on w.

which appears in Mantis 0805 just prior to "Neutral satisfaction of
properties is defined as follows:"

Appears here before "Neutral satisfaction of top-level properties is
defined as follows:"

Issue 2: F3.3.1 "w |=^d T" in text above appears with literally "^"
meant for superscript of course

Issue 3: F3.6.1 does not have the 805 changes (under E3.6.1 of proposal
and found in draft1)


Thx.
-Bassam.



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