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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
