On 14/01/2019 18:47, Makarius wrote: > The website https://isabelle.in.tum.de appears to be down, this also > includes the Mercurial repository view at > https://isabelle.sketis.net/repos/isabelle > > Access via SSH works fine, thus the following clone is up-to-date within > an interval of 10min: https://isabelle.sketis.net/repos/isabelle
That is the same repository URL twice -- I should not write mails with a temperature. The following notable HTTPS services are down: https://isabelle.in.tum.de https://isabelle.in.tum.de/repos/isabelle https://isabelle.in.tum.de/devel Here are mirrors that work: https://www.cl.cam.ac.uk/research/hvg/Isabelle https://isabelle.sketis.net/repos/isabelle https://isabelle.sketis.net/devel Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev