The main isabelle repository http://isabelle.in.tum.de/repos/isabelle/ is
now back to post-release mode, see
http://isabelle.in.tum.de/repos/isabelle/rev/20b3377b08d7
This means the flow of changes for the next release, after the current
one, can continue. I merely ask to avoid huge upheavals right now, until
Isabelle2011-1 is officially shipped (probably mid October) and the
release reposity merged back.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
