Stream: Mirror: Isabelle Development Mailing List

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


view this post on Zulip 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: Mar 04 2024 at 12:30 UTC