[mercury-users] Environment variable

Mark Brown dougl at cs.mu.OZ.AU
Sun Dec 22 12:23:53 AEDT 2002


On 21-Dec-2002, Noel  Pinto <cool4life at rediffmail.com> wrote:
> If there is no need for me to use or understand and from what I am 
> guessing no need for me to implement it, then why is it not 
> mentioned in the User Guide with the reason as to why not?

It is mentioned in the first paragraph of that section.  The reason is
that "the default values will generally work fine."

Mark.

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list