[isabelle-dev] the testboard is working unstable

Lukas Bulwahn bulwahn at in.tum.de
Tue Oct 16 18:23:53 CEST 2012


Hi all,

the testboard was repeatedly breaking down today---and I restarted it 
multiple times to keep the illusion of a stable environment. I will 
investigate tomorrow what is going wrong. Until then, I'll try my best 
restarting it after a break-down as fast as possible.

Lukas



More information about the isabelle-dev mailing list