[isabelle-dev] isatest on isabelle-release

Makarius makarius at sketis.net
Thu Dec 5 18:37:45 CET 2013

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.


More information about the isabelle-dev mailing list