W3C home > Mailing lists > Public > public-sml@w3.org > October 2007

[bug 5214] change un-numbered bulleted lists to numbered lists

From: Kumar Pandit <kumarp@windows.microsoft.com>
Date: Fri, 19 Oct 2007 13:40:26 -0700
To: "public-sml@w3.org" <public-sml@w3.org>
Message-ID: <D95F90884B51CF4F83E887862D5D3708D099A75F98@NA-EXMSG-W601.wingroup.windeploy.ntdev.microsoft.com>
We have discussed this a few times and informally agreed that we should use numbered lists instead of un-numbered ones. I have opened bug 5214 for this and taken the liberty to mark it editorial. I will go ahead and make this change if I do not hear any objection.
Received on Friday, 19 October 2007 20:47:23 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:56:06 UTC