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 
http://www4.in.tum.de/~wenzelm/test/Isabelle2005-polyml-5.0.tar.gz


	Makarius






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.