[m-rev.] for review: MERCURY_OPTIONS-progname

Zoltan Somogyi zs at csse.unimelb.edu.au
Fri Jul 11 14:55:03 AEST 2008

On 10-Jul-2008, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> Maybe we could replace the dash with an underscore?

My thought exactly. Peter, do you wan to make the change? I am on leave the next
two weeks.

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

More information about the reviews mailing list