[isabelle-dev] Repository Trouble

[Johannes Hölzl]

We had again a problem with the repository. We fixed it by using again

  hg verify
  hg strip <failing rev according to verify>

now it works again (at least on my machine and on the web server)

I used Mercurial 2.0.2 (installed with Ubuntu 12.04).
I updated now to Mercurial 2.4 and hope that it does not happen again.

Sorry for the inconvenience,
  Johannes