[m-rev.] diff: allow `old' as a synonym for `any'

[David Overton]

On Fri, Jan 07, 2005 at 05:09:09PM +1100, Mark Brown wrote:
> library/builtin.m:
> 	Allow `old' as a synonym for `any', since some of the literature
> 	uses this terminology.

For consistency, why not also at `new' as a synonym for `free'?

-- 
David Overton
WWW: http://www.overtons.id.au/
Mobile Phone (UK): +44 7799 344 322
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------