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.)
Lars
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
