[isabelle-dev] Website https://isabelle.in.tum.de is down

Makarius makarius at sketis.net
Mon Jan 14 18:47:08 CET 2019

The website https://isabelle.in.tum.de appears to be down, this also
includes the Mercurial repository view at

Access via SSH works fine, thus the following clone is up-to-date within
an interval of 10min: https://isabelle.sketis.net/repos/isabelle


More information about the isabelle-dev mailing list