[isabelle-dev] Isabelle on Leopard/i386
krauss at in.tum.de
Mon Oct 29 09:26:38 CET 2007
> 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