[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

  -- Lars

[1] The mirrors at Cambridge and Sydney are not affected:


More information about the isabelle-dev mailing list