[isabelle-dev] Problems connecting to https://isabelle.in.tum.de/repos/isabelle

Lars Hupel hupel at in.tum.de
Wed Jul 18 22:31:21 CEST 2018

> In the past 2 days the isabelle_cronjob could not connect to
> https://isabelle.in.tum.de/repos/isabelle -- but it appears to work 
> from
> most other hosts that I've tried. Maybe some odd change concerning SSL
> certificates on the server vs. client side?

That's indeed strange. There was an issue with the machine lxbroy10, but 
as far as I could tell, it only affected SSH access. (The issue has been 
fixed by our ops this morning.)


More information about the isabelle-dev mailing list