On 11/10/2021 13:20, Tobias Nipkow wrote:
> I just updated to 9c04a82c3128 and "isabelle components" tells me that there
> are many missing components, but dowloading fails for the first one:
>
> Getting "https://isabelle.sketis.net/components/e-2.6-1.tar.gz";
> Failed to download "https://isabelle.sketis.net/components/e-2.6-1.tar.gz";
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.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
