[isabelle-dev] [polyml] Poly/ML 5.5.1 (fwd)

[Makarius]

See also Isabelle/432edb1a2469.


 	Makarius

---------- Forwarded message ----------
Date: Tue, 17 Sep 2013 17:57:07 +0100
From: David Matthews <David.Matthews at prolingua.co.uk>
To: PolyML mailing list <polyml at inf.ed.ac.uk>
Subject: [polyml] Poly/ML 5.5.1

I have uploaded the source for Poly/ML 5.5.1 to the SourceForge site so it is 
now officially released.  I still need to create installers for Windows.  The 
release notes at http://www.polyml.org/docs/ReleaseNotes.html give a general 
overview of the changes over the last year.  There have been no big changes 
which is the reason it's 5.5.1 rather than 5.6.

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