[isabelle-dev] isatest getting better

Makarius makarius at sketis.net
Mon Jul 2 17:01:20 CEST 2012


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


More information about the isabelle-dev mailing list