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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
