From: Douglas Gregor (gregod_at_[hidden])
Date: 2001-12-20 08:33:57
On Thursday 20 December 2001 07:32 am, you wrote:
> If there are no objections to this, then I'd like to make the change. I'll
> leave the old names there for now and document them as obsolete. For
> example:
This would be great.
Doug