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