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