[isabelle-dev] https://isabelle.in.tum.de/repos/isabelle -- Internal Server Error

Makarius makarius at sketis.net
Mon Oct 28 21:00:58 CET 2019

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

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".


More information about the isabelle-dev mailing list