Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] [polyml] Towards the next release (5.9)

view this post on Zulip Email Gateway (Oct 30 2021 at 20:12):

From: Makarius <>
As of Isabelle/455549306166 we are testing prospective Poly/ML 5.9, which is
to be released soon (see below).

So far it looks good. I have bundled native arm64-linux with the component,
but not arm64-darwin, because x86_64-darwin is faster with Rosetta 2.

Lets see how it works on Isabelle + AFP within the coming weeks ...


-------- Forwarded Message --------
Subject: [polyml] Towards the next release (5.9)
Date: Sat, 30 Oct 2021 08:50:35 +0100
From: David Matthews <>
To: PolyML mailing list <>

I'm intending to release the current master on github as version 5.9 in the
near future. Could I ask everyone to give it a try and let me know if there
are any serious bugs that need to be fixed. The main differences are the
ARM64 code-generator, the new bootstrap process and position-independent code.
This was described in greater detail back in May . There have
also been other smaller changes and fixes.


polyml mailing list

isabelle-dev mailing list

Last updated: Mar 04 2024 at 12:30 UTC