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.
