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.) Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
