[isabelle-dev] Repository Trouble

Lawrence Paulson lp15 at cam.ac.uk
Fri Dec 21 15:43:17 CET 2012


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. [*]

More information about the isabelle-dev mailing list