[isabelle-dev] Testboard interrupt tomorrow Wed 11th in the morning

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Tue Jul 10 08:44:24 CEST 2012

Hi all,

tomorrow Wed 11th in the morning (GMT) there will be an interrupt in the 
testboard due to maintainance works on the macbroy15 machine hosting its 

(Wed 11th of course, *not* 10th)

Sorry for any inconvenience,


PGP available:

More information about the isabelle-dev mailing list