[isabelle-dev] Isabelle on Leopard/i386

Alexander Krauss krauss at in.tum.de
Mon Oct 29 09:26:38 CET 2007

Dear Fernando,

> I've used Isabelle in PPC architecture with no issue in the past, but in 
> Intel Macs I've been having some issues that you may be able to help. 
> I've installed Isabelle and xemacs with Fink, and it's working just 
> fine. The problem is in polyml and compiling the logics:

If I remember correctly, you need polyml 5.0 for intel macs. And also 
the corresponding compatibility files for Isabelle 2005 (including a 
README), which you can get at


Hope this helps...


More information about the isabelle-dev mailing list