Stream: Mirror: Isabelle Development Mailing List

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

Email Gateway (Nov 01 2020 at 17:26):

From: Makarius <makarius@sketis.net>
Just a quick reaction to a problem at TUM on Sunday evening:

https://isabelle-dev.sketis.net/rISABELLE97f12d2c8bf2c735c02f63728855c63e8d12b9ee

Makarius

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

Last updated: Apr 23 2024 at 04:18 UTC