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 polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml