[isabelle-dev] Towards Isabelle2011 release
makarius at sketis.net
Mon Jan 17 18:41:26 CET 2011
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
* 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
More information about the isabelle-dev