Philip Clayton wrote:

Thanks for the new version. Just in case it was unintentional, I thought I should let you know that the .tar.gz file contains a directory 'polyml', rather than 'polyml.5.2.1' as has been the convention for previous releases.

Thanks for pointing that out. It was unintentional and I've now updated the site. It may take a while for the mirrors to pick up the new version but it should eventually make its way through.

David