There really hasn't been much development of Poly/ML over the last year or so although I've done one or two things to it. I've also received various patches and the recent ones have made me think about this. I don't think there's enough to justify a new release. Producing a new release involves quite a bit of work for me in running the regression tests on the various platforms and building the various binaries. I feel it also involves work for people using Poly/ML and I'm thnking particularly of those using it to support Isabelle and ProofPower. It may be better to make available the latest sources on the web site as a development version. I considered making available my internal CVS server but I'm concerned about issues of security. What do people think?
David.