I was able to update without problems. I’m on Big Sur. Larry On 11 Oct 2021, 15:11 +0100, Makarius <[email protected]>, wrote:
Can you say what your version of macOS is? I've recently seen problems with HTTPS certificates for old versions, but did not manage to isolate the problem yet. Big Sur was fine, as well as various Linux and Windows installations.
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
