[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.)

- John

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