[isabelle-dev] Sunsetting Mercurial support in Bitbucket

[Makarius]

On 22/08/2019 21:45, Lawrence Paulson wrote:
> Let’s admit that Beta has lost out to VHS yet again. 

Non sequitur. It is just that one particular hosting provider no longer
wants to continue.

Looking briefly through the Mercurial community activities, I see
unbroken strength, e.g. concerning releases and events like the
Mercurial conference in Paris May-2019. (I've come by the conference via
the presentation
https://heptapod.net/download/Heptapod-2019-paris-hg-conf.pdf).


	Makarius