[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