On Thu, 28 Nov 2013, Makarius wrote:
Important note: isatest is presently testing
https://bitbucket.org/isabelle_project/isabelle-release again.
isatest is back testing http://isabelle.in.tum.de/repos/isabelle
isabelle-release is back at the merge point 748778ac0ab8
So we are mostly back to normal, after this extra diversion of another
release, hopefully a truely stable one.
We are still waiting for full synchronisations of the mirrors, before
Isabelle2013-2 can be announced officially.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
