[m-dev.] Even more minimal diff

[Michael Day]

> It would be great if you could post a diff which addressed these points.

Right, in that case I might as well check out Mercury from cvs and do
things properly.

Michael

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