[isabelle-dev] Repository trouble -- again

Alexander Krauss krauss at in.tum.de
Sun Aug 12 00:38:16 CEST 2012


> It seems that the main Isabelle repository got corrupted again and is
> currently unavailable.

OK, it's back for now...

Alex



More information about the isabelle-dev mailing list