Hi everyone, due to maintenance of the power grid at TU Munich, a number of Isabelle related services will not be available this weekend (starting Friday, July 3th, 9:00 CEST to Monday, July 6th, somewhere in the afternoon CEST), in particular
- the isabelle-dev mailing list, - the development repositories, - and the Munich mirror of the website[1]. The isabelle-users mailing list is hosted in Cambridge and thus not affected. -- Lars [1] The mirrors at Cambridge and Sydney are not affected: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html http://mirror.cse.unsw.edu.au/pub/isabelle/index.html _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
