The web view of the Isabelle repository at TUM appears to be down -- I have already informed the local admins. There could be also something wrong with the somewhat dated Mercurial server setup --- it requires further investigation.
In the meantime, everything can continue normally with https://isabelle-dev.sketis.net -- it now uses a more direct ssh URL to synchronize with TUM. The same repository clone is published as https://isabelle.sketis.net/repos/isabelle Here is a proof that it works by self-application: https://isabelle.sketis.net/repos/isabelle/rev/99eec58dc551 -- next time I will formalize these Phabricator configuration tweaks in Scala as "isabelle phabricator_setup". Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
