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

Alexander Krauss krauss at in.tum.de
Mon Aug 6 00:26:58 CEST 2012

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.


More information about the isabelle-dev mailing list