[m-rev.] for review: implement undo for declarative debugger

[Mark Brown]

On 26-Jul-2005, Ian MacLarty <maclarty at cs.mu.OZ.AU> wrote:
> --- doc/user_guide.texi	17 Jun 2005 10:13:55 -0000	1.439
> +++ doc/user_guide.texi	26 Jul 2005 02:04:16 -0000
> @@ -4100,6 +4100,11 @@
>  @item skip
>  Skip this question and ask a different one if possible.
>  @sp 1
> + at item undo
> +Reset the state of the declarative debugger to the state it was in before the
> +last `yes', `no', `inadmissible', `trust' or `skip' answer was given or
> +the last subterm was marked, whichever was most recent.
> + at sp 1

What happens if you give the `undo' command twice in succession?  The
documentation should be clearer on this point.

Cheers,
Mark.

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