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