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

Makarius makarius at sketis.net
Fri Nov 29 14:40:27 CET 2019

On 29/11/2019 13:42, Lawrence Paulson wrote:
> 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?

See https://isabelle.in.tum.de/repos/isabelle/file/caede3159e23/Admin/PLATFORMS

Sometimes it is impossible to build on such ancient versions. In that case one
needs to rethink the situation.


More information about the isabelle-dev mailing list