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