On 11/10/2011, at 8:43 PM, Makarius wrote: > 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).
AFP is in the process of being released. This takes ages, because it needs to run every entry which takes > 10h. Adding a random problem here and there, and you're looking at 2 days. I've branched the 2011-1 release version, so in theory it's safe to push to devel as usual, I just didn't want to announce it yet before the release process isn't finished. Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
