[m-dev.] 11.01 branch merges

[Julien Fischer]

Hi,

I have merged all the relevant recent changes up to this afternoon on to 
the release branch and will commit them after the bootcheck finishes.
(Zoltan, the above includes the diffs for the new scope types you have 
added, so don't bother adding them to the release branch yourself.)

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