[m-rev.] For review: Changes to trust command.
Julien Fischer
juliensf at cs.mu.OZ.AU
Tue Aug 10 16:55:45 AEST 2004
On Tue, 10 Aug 2004, Ian MacLarty wrote:
> For review by anyone.
>
> Estimated hours taken: 10
> Branches: main
>
> Added `trusted' and `untrust' commands. Also allowed individual predicates to
> be trusted.
>
You should mention these additions in the NEWS file as well.
Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the reviews
mailing list