Hi Florian, > What is the reason for this? No access to suitable computing machines?
currently, the "new" testboard only performs "makeall" on the distribution. As I wrote in my mail from yesterday, I'm working on it. I expect to be able to make a recommendation on how to reinstate regular testing within this week. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
