- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 21 Feb 2006 19:41:29 +0000
- To: public-qt-comments@w3.org
- Cc:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1803
simeon@us.ibm.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
------- Additional Comments From simeon@us.ibm.com 2006-02-21 19:41 -------
#1 Notation / rule 1 / judgment_form_declaration 1. Removed statEnv from those
judgments.
#2 Sem / rule 2. // Fixed.
#3 Sem / rule 3 / conclusion. // Fixed AtomicValueContent. An AtomicTypeName is
a QName which is a TypeName for an atomic type, so I think this is ok.
#4 Sem / rule 3 / conclusion // Removed of type xdt:untypedAtomic.
- Jerome
Received on Tuesday, 21 February 2006 19:41:31 UTC