Stream: General

Topic: Isabelle website is down

Mario Xerxes Castelán Castro (Aug 07 2026 at 23:44):

<https://isabelle.in.tum.de/> is down.

Ant S. (Aug 08 2026 at 11:20):

The UK/AUS ones are still up

Last updated: Aug 26 2026 at 08:45 UTC