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