[m-rev.] diff negation in trace goals conditions

[Ondrej Bojar]

Julien Fischer wrote:
> On Thu, 22 Feb 2007, Ondrej Bojar wrote:
> 
>> In general, the single argument of the @samp{compile_time} function 
>> symbol is a boolean expression of primitive compile-time conditions. 
>> Allowed boolean operators are @samp{and}, @samp{or} and @samp{not}.
>>
>> (and likewise for runtime conds)
>>
>> Is it better?
> 
> How about the following for the last sentence.
> 
>     Valid boolean operators in these expressions are @samp{and},
>     @samp{or} and @samp{not}.

I accept and will commit.

Thanks, O.

> 
> Julien.
> --------------------------------------------------------------------------
> mercury-reviews mailing list
> Post messages to:       mercury-reviews at csse.unimelb.edu.au
> Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
> Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
> --------------------------------------------------------------------------
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------