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