FYI, those issues were largely solved by using the 1.2 release, except
for a minor Broccoli configuration issue for which I have already
checked in a fix.
Cheers,
Christian.
--
________________________________________________________________________
http://www.cl.cam.ac.uk/~cpk25
http://www.whoop.org