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 Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev