[isabelle-dev] Problem with http://isabelle.in.tum.de/repos/isabelle

[Alexander Krauss]

On 08/06/2012 12:06 AM, Makarius wrote:
> There is presently a problem with
> http://isabelle.in.tum.de/repos/isabelle around rev ebbd70082e65 -- also
> with local pushes or pulls, but it seems to work via ssh (at least for me).

The problem (a repository corruption for reasons we don't know yet) are 
now solved (by stripping and re-pushing some recent changes), and the 
repository operates normally again.

Alex