W3C home > Mailing lists > Public > public-sml@w3.org > February 2008

[Bug 5418] conformance criteria: "valid if" vs "valid if AND ONLY IF"

From: <bugzilla@wiggum.w3.org>
Date: Wed, 13 Feb 2008 05:56:45 +0000
CC:
To: public-sml@w3.org
Message-Id: <E1JPAbt-00059Q-5z@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5418


kumarp@microsoft.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|editorial                   |needsReview




------- Comment #6 from kumarp@microsoft.com  2008-02-13 05:56 -------
Replaced the following 3 instances of 'if' by 'if and only if' in section 8
Conformance Criteria:

[1]
from:
A program is a conforming SML model validator if             it satisfies the
following conditions:

to:
A program is a conforming SML model validator if and only if it satisfies the
following conditions:

[2]
from:
A set of XML documents is a conforming SML model if             it satisfies
the following conditions:

to:
A set of XML documents is a conforming SML model if and only if it satisfies
the following conditions:


[3]
from:
A conforming SML model is valid if             it satisfies all of the
following conditions:

to:
A conforming SML model is valid if and only if it satisfies all of the
following conditions:
Received on Wednesday, 13 February 2008 05:56:50 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:56:09 UTC