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

Gerwin Klein gerwin.klein at nicta.com.au
Mon Mar 17 21:40:17 CET 2008

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.


More information about the isabelle-dev mailing list