Hi all,
The server lxbroy10 in Munich broke down last night. Our technical
support group is trying its best to get it running again.
Even if it is up running again, we might have some interruption the next
days while they continue to replace some components.
For the time, I started a mira daemon with bisect(Isabelle_makeall) on
lxbroy6 for the main repository and bisect(Isabelle_makeall) on lxbroy5
for the testboard.
Lukas
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
