[isabelle-dev] Isabelle component csdp-6.x is 32-Bit [macOS]
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