There has been some discussion about the Poly/ML licence and the fact that it is "non-standard" and so causes problems with including it in open-source distributions. I have now received permission from CUTS, the copyright holders for the bulk of Poly/ML, to issue Poly/ML under the Lesser GPL. This seemed the best choice as it allows any commercial users to distribute a binary-only version with their software.
I will update the web-site shortly and change the source code to refer to LGPL rather than the Poly/ML licence for the next release. I'm currently working on updating the basis library to match Gansner and Reppy's book. Once that's completed there will be a new release.
Thanks to Larry Paulson and Mike Gordon for their assistance in negotiating with CUTS.
David Matthews.