[isabelle-dev] [polyml] Release 5.2.1 (fwd)

Makarius makarius at sketis.net
Wed Oct 22 22:55:28 CEST 2008

Our usual packages for use with Isabelle are available here: 

For any serious use of multithreading in recent development snapshots 
Poly/ML 5.2.1 is really required, but there is no immediate need to 
recompile the official Isabelle2008.


---------- Forwarded message ----------
Date: Wed, 22 Oct 2008 20:10:34 +0100
From: David Matthews <David.Matthews at prolingua.co.uk>
To: PolyML mailing list <polyml at inf.ed.ac.uk>
Subject: [polyml] Release 5.2.1

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
Poly/ML 5.2 Release    RTS version: I386-5.2.1


polyml mailing list
polyml at inf.ed.ac.uk

More information about the isabelle-dev mailing list