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
