- 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>
Received on Friday, 19 October 2007 20:47:23 UTC
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