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

2012-07-10 Thread Florian Haftmann 

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


Sorry for any inconvenience,
Florian

--

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

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

2012-07-10 Thread Florian Haftmann 

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
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev