[isabelle-dev] Fwd: status (AFP)

Lukas Bulwahn bulwahn at in.tum.de
Wed Sep 21 10:11:58 CEST 2011

> Thanks. I've set the JinjaThreads test to run every day now, at least until the release.

In Munich, we now also use our number cruncher lxbroy10 to run the large 
(non-frequently tested) AFP sessions within the new testing infrastructure.
This should give us some more light on failures of these AFP theories in 
the future.


More information about the isabelle-dev mailing list