Poly/ML October 2008

polyml@lists.polyml.org

1 participants
2 discussions

Release 5.2.1
by David.Matthews＠prolingua.co.uk 23 Oct '08

23 Oct '08

Philip Clayton wrote: > Thanks for the new version. Just in case it was unintentional, I > thought I should let you know that the .tar.gz file contains a directory > 'polyml', rather than 'polyml.5.2.1' as has been the convention for > previous releases. Thanks for pointing that out. It was unintentional and I've now updated the site. It may take a while for the mirrors to pick up the new version but it should eventually make its way through. David

1 0

Release 5.2.1
by David.Matthews＠prolingua.co.uk 22 Oct '08

22 Oct '08

I've now released version 5.2.1 of Poly/ML on the SourceForge site. This is largely a bug-fix release of 5.2 and incorporates various fixes to the run-time system and basis library. I'll update the release notes on the web site with details of the bug fixes. The functional IO library has been largely rewritten to be much more efficient. One change that may affect a few people is that X-Windows/Motif support is now turned off by default in the configure script. To include support for X-Windows/Motif specify --with-x when running "configure" Note: Since the compiler has not changed when you run Poly/ML 5.2.1 the start-up line will still say "Poly/ML 5.2 Release". However poly -v will say something like Poly/ML 5.2 Release RTS version: I386-5.2.1 David

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML October 2008