On Mon, 17 Jan 2011, Makarius wrote:
It looks like the point zero will be today, either in the afternoon or
evening (GMT).
As of version 54a4512e29a6 the release branch continues at
http://isabelle.in.tum.de/repos/isabelle-release
* Any urgent changes that need to go onto that need to be sent to me via
email, as clean changesets without any merges inside.
* Changes for isabelle-release should *not* be pushed to the main
Isabelle repository, but they will come there after the release is shipped
and the isabelle-release clone merged back.
* isatest refers to isabelle-release
* AFP morally refers to isabelle-release as well. (There are still some
broken theories on AFP, probably due to some last minute changes in main
HOL.)
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
