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

[Lawrence Paulson]

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

Larry
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>