[m-rev.] for review: browser parameters

[Zoltan Somogyi]

On 13-Oct-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> You didn't post any changes to the documentation.
> But presumably the documentation needs updating to reflect this change?

I posted the change to the online documentation in browser/browse.m.
That documentation is currently not in the user guide, so it doesn't need
changing there.

The documentation in the user guide is broad enough that it can be considered
to descrive both the old behavior and the new behavior. I personally think
that it its straightforward interpretation describes the new behavior
much better. It describes set --browse as affecting the behavior of the
mdb "browse" command. Before this change, it actually affected only the
behavior of the "ls" command in the browser, not the "print" command in
the browser; it now affects both.

Overall, the change brings the documentation and actual behavior into line.
The user guide thus needs no change.

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