Dear David,
I'd be very keen to see even a minor update at some point (e.g. before Isabelle 2005) to include the useful patch posted by Brent Fulgham and the related patch I posted a while ago (to redirect the Stack Increasing... messages to stderr) -- perhaps those messages could also be prevented with the quiet switch.
In the meantime source tarball or CVS access is perhaps useful for developers: you could probably use our CVS service at cvs.inf.ed.ac.uk. There are issues of security there since it is accessed only by pserver, but I am hoping that may be improved in future. And it seems likely that since you are probably the only person who should have write access, you would notice any interference with the sources rather swiftly.
- David.
David Matthews wrote:
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.
polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml