Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Brief TUM server outage

view this post on Zulip Email Gateway (Oct 02 2024 at 11:21):

From: Fabian Huch <huch@in.tum.de>
We will have a brief server outage today for BIOS updates.

Fabian

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Dec 10 2025 at 12:50 UTC