[isabelle-dev] AFP submission + Jenkins maintenance

Lars Hupel hupel at in.tum.de
Fri Nov 11 16:44:18 CET 2016

> Everyone who considers submitting an AFP entry, please hold off until at
> least November 12.

We have been informed by the upstream provider about continued service

"Unfortunately we encountered more difficulties than expected during the
upgrade of the LRZ Cloud Computing infrastructure, hence we have to
extend the maintenance. Hopefully we will be able to be back in
production on Tue. 15th Nov. 2016."


More information about the isabelle-dev mailing list