On 17/05/2011, at 12:45 AM, Makarius wrote: > Can anybody say where AFP is tested and if there are statistics accumulating?
The AFP test is currently still running in Sydney and accumulating the usual data. I've copied the logs over to ~/afp/log on macbroy* > The traditional isatest data is now empty > http://isabelle.in.tum.de/devel/stats/afp.html Right, I forgot about these. The plan is to move the afp test back to Munich when I'm in Munich in about two weeks. Then we should be back to the old routine. I'd prefer to run the test on a Linux machine. Is there one available with around 4 cores and lots of memory? Cheers, Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
