Mojave 10.14.6 Tobias
On 11/10/2021 15:55, Makarius wrote:
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
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
