Hi all,
our system administrators just told me that our Munich compute server (lxbroy10) still has many spare cycles, which we could use for more testing and other measurements. At the moment, there are two processes: one checking isabelle_makeall on the testboard, another checking AFP_fast on the testboard.
Any suggestions what we should test more? Lukas _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
