[m-dev.] logging proposal

[Ian MacLarty]

On 12 Mar 2006, at 03:27, Ralph Becket wrote:
>
> I think you should mention the switch name here.
>

The switch name isn't part of the language, so I think it should be 
mentioned in the user guide and not the language reference manual.  
I'll do the changes to the user guide when I actually implement the 
debug goals.

I've adopted all your other suggestions.

Ian.

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------