It turned out that there was a problem with building with --with-x specified. I've fixed this and uploaded a replacement for the tar.gz download. It would probably have been better practice to have used a different name to avoid confusion but since it's only been a couple of days since the original release I've simply replaced the file.

David

David Matthews wrote:
I've uploaded version 5.4 to SourceForge and updated the web site. Thanks to everyone for your bug reports and comments.

David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to