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

[Bug 5403] Remove "user-defined" from "user-defined constraints"

From: <bugzilla@wiggum.w3.org>
Date: Thu, 07 Feb 2008 22:01:50 +0000
CC:
To: public-sml@w3.org
Message-Id: <E1JNEoY-0007Z5-Ca@wiggum.w3.org> 

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


virginia.smith@hp.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
           Keywords|editorial                   |resolved
         Resolution|                            |FIXED




------- Comment #3 from virginia.smith@hp.com  2008-02-07 22:01 -------
Fixed per proposal.
Received on Thursday, 7 February 2008 22:02:03 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 7 February 2008 22:02:04 GMT