[isabelle-dev] Isabelle services not available this weekend (2015-07-03 to 2015-07-06)
Lars Noschinski
noschinl at in.tum.de
Mon Jun 29 16:33:21 CEST 2015
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
More information about the isabelle-dev
mailing list