[isabelle-dev] Sunsetting Mercurial support in Bitbucket
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