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

[Lawrence Paulson]

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?
Larry

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