[isabelle-dev] Towards Isabelle2011 release

Makarius 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 mailing list