A first integration test for the coming release is available here:
http://www4.in.tum.de/~wenzelm/test/Isabelle_10-Sep-2013/
Anybody who wants to take a look is welcome to post comments here on
isabelle-dev, not isabelle-users.
There seems to be an occasional misunderstanding of isabelle-dev as a
members-only club for "Isabelle developers". It is actually an open
mailing list that revolves around Isabelle development, not developers.
Anybody who does testing of intermediate snapshots participates in that
development process and should give feedback here.
There are still a few weeks until we can start official public testing of
Isabelle2013-1 release candidates, and various things are expected to
change again before the release converges.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
