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

Makarius makarius at sketis.net
Mon Oct 11 16:11:40 CEST 2021

On 11/10/2021 16:06, Tobias Nipkow wrote:
> Mojave 10.14.6

OK, this is one of the versions that don't work.

I will take another look at the web server for
https://isabelle.sketis.net/components to see if something can be changed with
the certificates. (This will coincide with a general move from Apache + Let's
Encrypt towards Caddy and its automatic certificate management.)


More information about the isabelle-dev mailing list