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