[isabelle-dev] Isabelle component csdp-6.x is 32-Bit [macOS]

Lawrence Paulson lp15 at cam.ac.uk
Fri Nov 29 13:42:53 CET 2019

Just to remark again, the binary I’ve used in my work machine dates from 2014. What is the earliest version of Mac OS that we support?

> On 29 Nov 2019, at 12:24, Makarius <makarius at sketis.net> wrote:
> Further note that the result needs to work on the oldest macOS version that we
> still support, which usually means that the building is done on the oldest and
> testing on the newest one.

More information about the isabelle-dev mailing list