- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 07 Feb 2008 04:03:41 +0000
- To: public-sml@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5181 ------- Comment #10 from popescu@ca.ibm.com 2008-02-07 04:03 ------- Created an attachment (id=513) --> (http://www.w3.org/Bugs/Public/attachment.cgi?id=513&action=view) diff document - primaryAlias defined as a new element Based on review from group members, the current content has been updated to define the primary alias as a new child element of the aliases element. It was initially implemented by defining an optional primaryAlias attribute on the alias element. For clarity, attached document shows spec differences starting with the version when the base uri was defined using xml:base
Received on Thursday, 7 February 2008 04:03:49 UTC