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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
