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 <[email protected]> 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. > _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
