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

[Makarius]

On 14/01/2019 18:47, Makarius wrote:
> 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

That is the same repository URL twice -- I should not write mails with a
temperature.

The following notable HTTPS services are down:

  https://isabelle.in.tum.de
  https://isabelle.in.tum.de/repos/isabelle
  https://isabelle.in.tum.de/devel

Here are mirrors that work:

  https://www.cl.cam.ac.uk/research/hvg/Isabelle
  https://isabelle.sketis.net/repos/isabelle
  https://isabelle.sketis.net/devel


	Makarius