[isabelle-dev] Repository Trouble

Johannes Hölzl hoelzl at in.tum.de
Tue Nov 27 15:45:02 CET 2012

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,

More information about the isabelle-dev mailing list