[isabelle-dev] AFP/Group-Ring-Module

Tobias Nipkow nipkow at in.tum.de
Tue Mar 18 07:38:57 CET 2008

So I missed that, too.

What concerns me a little is that nobody noticed. Which means either 
nobody checked in any changes for a week (sounds unlikely), or that they 
didn't test them against the AFP...


Gerwin Klein schrieb:
> On Monday 17 March 2008, Tobias Nipkow wrote:
>> I don't think this is caused by my own change but must have been there
>> for a couple of days. (It seems like the daily AFP test is not working
>> at the moment.)
> The AFP test is working fine. The entries Group-Ring-Module and Valuation have 
> been failing since Thu, 06.03. 
> It's just that the email was ignored and nobody fixed the entries.
> Gerwin

More information about the isabelle-dev mailing list