[isabelle-dev] Missing Isabelle components: Failed to download

Lawrence Paulson lp15 at cam.ac.uk
Mon Oct 11 16:27:30 CEST 2021

I was able to update without problems. I’m on Big Sur.

On 11 Oct 2021, 15:11 +0100, Makarius <makarius at sketis.net>, 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20211011/65f9fab3/attachment.htm>

More information about the isabelle-dev mailing list