[m-dev.] ROTDs broken

[Julien Fischer]

Hi,

The rotds are currently breaking because the library doesn't compile in 
the java grade -- there are futher details in mantis bug #209.  The last
working rotd was 2011-07-23.  (The 11.07 branch is unaffected.)

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
--------------------------------------------------------------------------