[isabelle-dev] [polyml] Release of version 5.1 (fwd)

[Makarius]

Now that Poly/ML 5.1 has come out, we are ready to release Isabelle2007 
shortly.  So this is the very last chance to point out any serious 
problems of the present test version from 
http://www4.in.tum.de/~wenzelm/test/website-test/


	Makarius

---------- Forwarded message ----------
Date: Thu, 22 Nov 2007 11:52:55 +0000
From: David Matthews <David.Matthews at prolingua.co.uk>
To: PolyML mailing list <polyml at inf.ed.ac.uk>
Subject: [polyml] Release of version 5.1

I've now installed the official release of Poly/ML 5.1 on sourceforge. I'll
update the web site shortly.  As well as the various fixes and updates I
mentioned earlier, such as threading and saving state, there were also some
last-minute fixes to get Poly/ML working on the new Mac OS X release.

There are a few minor bugs that were reported that I have held over to the next
release rather than risk breaking existing code.  I'll add the fixes to CVS.
That version will become a testing release of 5.2.

It would be helpful to be kept aware if anyone is planning to package Poly/ML
for any of the distributions just to keep track of them and to avoid duplication
of effort.

David.
_______________________________________________
polyml mailing list
polyml at inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml