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

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Mon Apr 9 12:44:33 AEST 2007

Dear all,

I'm looking at the XML doc output of mmc --make foo.doc, and I'd
like to request a small feature addition: would you include
the include_module/1 declarations?  This addition will help me
build documentation for libraries.

Thank you very much.
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

More information about the users mailing list