I've now installed the official release of Poly/ML 5.1 on sourceforge. I'll update the web site shortly. As well as the various fixes and updates I mentioned earlier, such as threading and saving state, there were also some last-minute fixes to get Poly/ML working on the new Mac OS X release.
There are a few minor bugs that were reported that I have held over to the next release rather than risk breaking existing code. I'll add the fixes to CVS. That version will become a testing release of 5.2.
It would be helpful to be kept aware if anyone is planning to package Poly/ML for any of the distributions just to keep track of them and to avoid duplication of effort.
David.
I will be packaging Poly/ML for Fink for MacOS X.
Peace - John
On Nov 22, 2007, at 6:52 AM, David Matthews wrote:
I've now installed the official release of Poly/ML 5.1 on sourceforge. I'll update the web site shortly. As well as the various fixes and updates I mentioned earlier, such as threading and saving state, there were also some last-minute fixes to get Poly/ML working on the new Mac OS X release.
There are a few minor bugs that were reported that I have held over to the next release rather than risk breaking existing code. I'll add the fixes to CVS. That version will become a testing release of 5.2.
It would be helpful to be kept aware if anyone is planning to package Poly/ML for any of the distributions just to keep track of them and to avoid duplication of effort.
David. _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
David> It would be helpful to be kept aware if anyone is planning to David> package Poly/ML for any of the distributions just to keep track David> of them and to avoid duplication of effort.
Debian packages are available here:
http://madbat.mine.nu/public/polyml/
These are for the testing branch, since that is what I mostly use. If someone needs packages with dependencies more suitable for a stable installation, contact me and we can work something out.
David, please comment on the copyrights (i.e. /usr/share/doc/polyml/copyright in the polyml package), I am not sure about them.
-
David.Matthews＠prolingua.co.uk -
itz＠madbat.mine.nu -
john＠jacelridge.com