Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Potential problems isabelle-dev mailing li...


view this post on Zulip Email Gateway (Nov 13 2021 at 11:40):

From: Makarius <makarius@sketis.net>
I have sent two messages today that are present on the archive
https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/2021-November/date.html#start
but I did not get them back via mail.

Did anybody experience similar problems? (If yes, it might be impossible to
see this and/or answer this.)

Makarius


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

view this post on Zulip Email Gateway (Nov 13 2021 at 11:42):

From: Makarius <makarius@sketis.net>
Mails are coming now. So it looks like the problems have disappeared.

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 10:08 UTC