In the past 2 days the isabelle_cronjob could not connect to -- 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.)

isabelle-dev mailing list

Reply via email to