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

[Gerwin Klein]

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