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

[Bug 5788] target complete identifiers - distinguish between before-normalization input and after-normalization output

From: <bugzilla@wiggum.w3.org>
Date: Wed, 13 Aug 2008 23:36:34 +0000
To: public-sml@w3.org
Message-Id: <E1KTPtK-0005pt-JX@wiggum.w3.org> 

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


Kumar Pandit <kumarp@microsoft.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Keywords|editorial                   |needsReview




--- Comment #6 from Kumar Pandit <kumarp@microsoft.com>  2008-08-13 23:36:34 ---
Diff for the fix attached: sml-diff.htm


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Wednesday, 13 August 2008 23:37:09 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 13 August 2008 23:37:09 GMT