[isabelle-dev] Fwd: status (AFP)

[Tobias Nipkow]

That's very kind of him, assuming he was not the one who broke KBPs. This is
just another reminder that people should watch the AFP when they check in
changes, and fix them. The testboard runs most of the AFP.

Tobias

Am 21/09/2012 09:12, schrieb Lukas Bulwahn:
> Thanks to Dmitriy's effort, all AFP entries run successfully again.
> 
> 
> -------- Original Message --------
> Subject: 	status (AFP)
> Date: 	Fri, 21 Sep 2012 09:10:43 +0200 (CEST)
> From: 	isatest at macbroy2.informatik.tu-muenchen.de (Isabelle )
> To: 	undisclosed-recipients:;
> 
> 
> 
> The status of the following AFP entries changed or remains FAIL: 
> [KBPs] changed from FAIL to ok.
> 
> Full entry status at http://afp.sourceforge.net/status.shtml
> 
> AFP version: development -- hg id c3a75d6d802a
> Isabelle version: devel -- hg id 7bb0d515ccbc
> Test ended on: macbroy2, Fri Sep 21 09:10:43 CEST 2012.
> 
> Have a nice day,
>   isatest
> 
> 
> 
> 
> This body part will be downloaded on demand.
>