[mercury-users] [feature request] (slightly) richer XML doc output

[doug.auclair at logicaltypes.com]

Dear Peter, you wrote:

>You can avoid the problem for a moment by doing a import_module for
>each include_module.

Great.  I'll give this a go.  Is the <imports> element on the current
ROTD?  I have 'version rotd-2007-02-18' for mmc.

Sincerely,
Doug Auclair

--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------