[isabelle-dev] Sunsetting Mercurial support in Bitbucket

Makarius makarius at sketis.net
Fri Aug 23 11:46:11 CEST 2019

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


More information about the isabelle-dev mailing list