[isabelle-dev] Potential problems isabelle-dev mailing list server

Makarius makarius at sketis.net
Fri Nov 12 21:30:59 CET 2021

I have sent two messages today that are present on the archive
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.)


More information about the isabelle-dev mailing list