Dear all,after more than 1 month, isatest is not quite dead yet, but getting better. The main control is now on lxbroy2, which is a bit different due to Gentoo Linux used there.
Hopefully we now get some meaningful results again, including the important continous timings.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
