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?

To keep the release process going, I've now set up clones of the
relevant repositories that are synchronized via ssh every 10 min: -- see also Isabelle/7538b5f301ea.

That was very easy following and I am
inclined to give up eventually,
and use instead. It is generally
better to stand on ones own feet, instead requiring the handholding of
big companies.


isabelle-dev mailing list

Reply via email to