There is now a pre-test snapshot of Isabelle_14-Jan-2011:
http://www4.in.tum.de/~wenzelm/test/Isabelle_14-Jan-2011/download.html
Some fine points are still open, but it should basically work. This is the
last chance to check if NEWS and CONTRIBUTORS are complete.
The actual test branch for Isabelle2011 will probably start within the
next few days -- on a separate repository clone where submission of
changesets works via email or pull only.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
