[isabelle-dev] Further plans for https://isabelle.sketis.net/repos

Makarius makarius at sketis.net
Fri Aug 23 10:48:37 CEST 2019

On 22/08/2019 23:12, Lars Hupel wrote:
> It would behove you to stop discrediting me by using ALL CAPS and
> calling the valid points I'm bringing up "noisy".

This thread was meant for technical discussions about better Mercurial
hosting infrastructure.


More information about the isabelle-dev mailing list