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

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

Hi all,

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

Sorry for any inconvenience,


PGP available:

More information about the isabelle-dev mailing list