On 14/02/2021 09:13, Florian Haftmann wrote: > In the meantime – is there an alternative at least read-only HG > repository of AFP available? The following clones are updated every 10min: https://isabelle.sketis.net/repos Makarius