[isabelle-dev] Fwd: status (AFP)

Makarius makarius at sketis.net
Tue Oct 11 11:43:58 CEST 2011

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).


More information about the isabelle-dev mailing list