[isabelle-dev] Isabelle2012 post-release mode

Makarius makarius at sketis.net
Wed May 23 13:28:52 CEST 2012

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

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


More information about the isabelle-dev mailing list