[isabelle-dev] Problem with http://isabelle.in.tum.de/repos/isabelle
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