[m-rev.] for review: document the .decldebug grades

[Julien Fischer]

On Thu, 3 Mar 2005, Mark Brown wrote:

> On 03-Mar-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> > Index: doc/user_guide.texi
> > ===================================================================
> > RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
> > retrieving revision 1.424
> > diff -u -r1.424 user_guide.texi
> > --- doc/user_guide.texi	2 Mar 2005 01:20:17 -0000	1.424
> > +++ doc/user_guide.texi	3 Mar 2005 06:20:59 -0000
> > @@ -3407,12 +3407,7 @@
> >  failing test run.  Before using the @samp{dice} command one or more passing
> >  execution summaries and one failing execution summary need to be generated.
> >  This can be done by compiling the program with deep tracing enabled (either by
> > -compiling in the .debug
> > - at c XXX The following line removed until the .decldebug grade has been
> > - at c documented.
> > - at c or .decldebug
> > -grade
> > -or with the @samp{--trace deep}
> > +compiling in a .debug or .decldebug grade or with the @samp{--trace deep}
>
> You should also mention "--trace rep" here.
>
Fixed.

Cheers,
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
--------------------------------------------------------------------------