[isabelle-dev] Repository trouble -- again

Alexander Krauss krauss at in.tum.de
Sun Aug 12 00:26:55 CEST 2012

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...


More information about the isabelle-dev mailing list