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

Makarius makarius at sketis.net
Tue Sep 17 21:49:21 CEST 2013

See also Isabelle/432edb1a2469.


---------- 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.

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

More information about the isabelle-dev mailing list