See also Isabelle/432edb1a2469.
Makarius
---------- Forwarded message ----------
Date: Tue, 17 Sep 2013 17:57:07 +0100
From: David Matthews <[email protected]>
To: PolyML mailing list <[email protected]>
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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
