Hi,

In the User Guide, in the environment variable MERCURY_OPTIONS, -D 
specifies the type of debugger to be used.

What is the meaning internal and external debugger? What do mean 
by internal and external here??

What is the differnce between internal debugger and external 
debugger?

When an external debugger is not available, why is it mentioned 
here?? Isn't it possible to mention it when it arises??

Thanks for any help. Thanks in advance.

Regards,

Noel

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

