[isabelle-dev] Fwd: status (AFP)

[Makarius]

On Tue, 11 Oct 2011, Makarius wrote:

> On Tue, 11 Oct 2011, Gerwin Klein wrote:
>
>> The AFP test is back to testing against normal isabelle tip. I'm assuming 
>> the failures below are due to that.
>
> Maybe it is better to leave it at isabelle-release until AFP for 
> Isabelle2011-1 is finalized.  I have ran some unsystematic tests on it and it 
> produces very few failures.

What is the status of AFP anyway?  In the afp-devel repository I see both 
a release tag (0e48fb185542) and post-release changes (eef0ef1627f9).


 	Makarius