> 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."
isabelle-dev mailing list