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