[isabelle-dev] Isabelle on Leopard/i386

[Alexander Krauss]

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

http://www4.in.tum.de/~wenzelm/test/Isabelle2005-polyml-5.0.tar.gz

Hope this helps...

Alex