[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.


Lukas



More information about the isabelle-dev mailing list