On 12/11/2012 10:27 PM, Makarius wrote:
On Mon, 10 Dec 2012, Makarius wrote:
On Fri, 30 Nov 2012, Lukas Bulwahn wrote:
It must be considered unmaintained. The benchmarks themself I will
irregularly have time on weekends and nights to have a look, but I
cannot keep up with Isabelle roaring
The afp test is now back to normal operation and the devel website update is
working again as well.
The two below are real failures, possibly have been there for a while masked by
the problems the test had.
Cheers,
Gerwin
Begin forwarded message:
From: