Re: [isabelle] New version of Isabelle
On Fri, 2 Feb 2007, John Ridgway wrote:
> I was just wondering when, and whether, we could expect a new version of
> Isabelle and PolyML that support Intel-based Macs natively.
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
This archive was generated by a fusion of
Pipermail (Mailman edition) and