[isabelle-dev] Fwd: status (AFP)

Makarius makarius at sketis.net
Tue Oct 11 11:19:12 CEST 2011

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.


More information about the isabelle-dev mailing list