[m-rev.] For review: Trust standard library

[Ralph Becket]

Ian MacLarty, Wednesday, 10 November 2004:
> 
> I also changed the trust help message to:
> The entire Mercury standard library is trusted by default and can be 
> untrusted in the usual manner using the `untrust' command.  To restore trusted
> status to the Mercury standard library issue the command `trust std lib'.

Can you also make it recognise "trust standard library"?  I can see
myself forgetting the magic incantation "std lib" fairly easily.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------