[isabelle-dev] Isabelle2012 post-release mode
makarius at sketis.net
Wed May 23 13:28:52 CEST 2012
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