Email Gateway (Aug 17 2022 at 14:44): Email Gateway (Aug 17 2022 at 14:44):From: John Ridgway <jridgway@wesleyan.edu>
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
Email Gateway (Aug 17 2022 at 14:44):From: David Einstein <deinst@gmail.com>
I cannot speak for the powers that be, however isabelle seems to
compile and run nicely with smlnj 110.58 (which is available precompiled
for the intel macs.) There are two umlauts in a comment in one of the
files that chokes the compilation of HOL, but removing them is easy.
I am having some problems with Quartz emacs and proof general, but
they are probably self created environment issues.
Things seem to work swimmingly with the apple distributed emacs.
Last updated: May 03 2024 at 12:27 UTC