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

[Tobias Nipkow]

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

Tobias

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