[isabelle-dev] Repository trouble -- again

[Alexander Krauss]

Hi all,

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

Since the error seems to be the same as last time, I expect to be able 
to fix it quickly. Apparently, the error is correlated with me pushing 
some changes in, so I guess I'll have to try to reproduce it with a 
clone and track it down...

Alex