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.
More information about the isabelle-dev