[isabelle-dev] Problems with server room cooling at TUM

[Makarius]

TUM has problems with cooling of server rooms for a couple of days, although I 
am not close enough to know the details. Several servers have been shutdown 
down to reduce heat production.

So far this has excluded the important lxbroy10.in.tum.de but now I cannot 
access it anymore.

Lets hope that we will see it again on Monday ...


	Makarius