[isabelle-dev] Repository Trouble
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 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