[isabelle-dev] Sunsetting Mercurial support in Bitbucket

Lars Hupel hupel at in.tum.de
Fri Aug 23 17:48:28 CEST 2019

> The reason why I have been so explicit about it this time: I've been
> visiting colleagues in Paris (including Coq developers), and later had
> discussions with other people in Prague about related topics. They have
> huge problems by being too uncritical about doing it like the majority
> (or "industry") does.

Did those people also specify what kind of problems they encountered? Or
is this just a gut feeling?

Please note that nobody advocates for doing anything uncritically. In
particular, I would be very surprised if anybody would uncritically
suggest using Mercurial.

More information about the isabelle-dev mailing list