[isabelle-dev] Repository trouble -- again

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

Previous message (by thread): [isabelle-dev] Repository trouble -- again
Next message (by thread): [isabelle-dev] Repository trouble -- again
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

OK, it's back for now...

Alex

Previous message (by thread): [isabelle-dev] Repository trouble -- again
Next message (by thread): [isabelle-dev] Repository trouble -- again
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list