[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 
database.

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

Sorry for any inconvenience,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de


More information about the isabelle-dev mailing list