[m-dev.] User-controlled pretty-printing

[Julien Fischer]

On Thu, 14 Dec 2006, Peter Schachte wrote:

> Let's face it:  what you really want is to be able to click on a
> subterm with the mouse.

 	browse --xml <term>

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