[isabelle-dev] Isabelle2012 post-release mode

[Makarius]

Dear All,

the current situation is as follows:

   * As of Isabelle/c5f7be4a1734 the
     http://isabelle.in.tum.de/repos/isabelle-release branch is merged
     again with the main line.

   * isatest is back testing http://isabelle.in.tum.de/repos/isabelle

   * We are still waiting for the Sydney mirror to follow Cambridge and
     Munich, so that the release can be announced officially.

   * Gerwin should know what needs to be done to release AFP for
     Isabelle2012.

   * I am on vacation for the first 3 weeks of June.


 	Makarius