David> PolyML version 4.1.3 is now available. Below are a list of the David> major changes and bug fixes since the 4.1.2 release taken from David> the release notes. Version 4.1.3 has been available David> unofficially for a while but the release on the web site is now David> complete and this incorporates a few bug fixes which were only David> found during testing.
Hi,
the link to the i386 database file on the webpage is wrong:
<p><font face="Arial">For other operating systems and for the Sparc architecture you may wish to use the appropriate database and the driver source.</font></p> <p><font face="Arial">i386 - <a href="dbases/polyml-4.1.3.sparc.tar.gz"> polyml-4.1.3.i386.tar.gz</a></font><br>
(I was able to download the file by guessing the correct address :)