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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
