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: Thu, 14 Aug 2008 12:29:31 +0000
To: public-sml@w3.org
Message-Id: <E1KTbxL-0007m5-JY@wiggum.w3.org> 

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





--- Comment #7 from John Arwe <johnarwe@us.ibm.com>  2008-08-14 12:29:31 ---
+1


-- 
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 Thursday, 14 August 2008 12:30:15 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 14 August 2008 12:30:17 GMT