Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New version of Isabelle

view this post on Zulip Email Gateway (Aug 18 2022 at 10:07):

From: John Ridgway <john@jacelridge.com>
Friends -
I was just wondering when, and whether, we could expect a new version
of Isabelle and PolyML that support Intel-based Macs natively.

Peace

view this post on Zulip Email Gateway (Aug 18 2022 at 10:08):

From: Makarius <makarius@sketis.net>
Poly/ML 5.0 has been announced a few weeks ago -- it supports many
platforms, including intel Macs.

Isabelle2005 does not require any changes itself, only the usual ML system
compatibility wrappers. See also
http://www4.in.tum.de/~wenzelm/test/Isabelle2005-polyml-5.0.tar.gz

Makarius

Last updated: May 03 2024 at 12:27 UTC