[isabelle-dev] Repository Trouble

[Lawrence Paulson]

Agree.
Larry

On 21 Dec 2012, at 12:43, Jasmin Christian Blanchette <jasmin.blanchette at gmail.com> wrote:

> Skipping a version can be a good solution in the long run. If the bug is in Mercurial, then chances are that other people will start reporting similar bugs to the Mercurial mailing list, that the maintainers will take the bug reports seriously, and then fix the issue in 2.5 or 2.6. [*]