[isabelle] Isabelle and Intel-based Macs



What is the status of support for Isabelle on Intel-based Macs? One of those is in my future, and I was wondering. (I know that I can run under Rosetta...but I was hoping for native support.)

Peace
- John






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