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